[ sid ]

[ ソース: ]

パッケージ: libwhy3-ocaml-dev-dbgsym (1.6.0-1 など) [debports]

libwhy3-ocaml-dev-dbgsym に関するリンク

Debian の資源:

バグ報告

ソースパッケージをダウンロード:

見つかりません

メンテナ:

類似のパッケージ:

debug symbols for libwhy3-ocaml-dev

その他の libwhy3-ocaml-dev-dbgsym 関連パッケージ

依存

推奨

提案

enhances

dep: libwhy3-ocaml-dev (= 1.5.1-1+b3) [riscv64]

OCaml librariries for why3 (dev)

dep: libwhy3-ocaml-dev (= 1.6.0-1) [ppc64]

libwhy3-ocaml-dev-dbgsym のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
ppc64 (非公式の移植版)	1.6.0-1	648.2 kB	3,072.0 kB	[ファイル一覧]
riscv64 (非公式の移植版)	1.5.1-1+b3	683.9 kB	2,871.0 kB	[ファイル一覧]