ナビゲーションをスキップ
Packages
About Debian
Getting Debian
Support
Developers' Corner
/
パッケージ
/
sid (unstable)
/
debug
/ libcoq-ocaml-dbgsym
パッケージ名
パッケージ説明
ソースパッケージ名
パッケージの内容
すべてのオプション
[
sid
]
[ ソース:
]
パッケージ: libcoq-ocaml-dbgsym (8.12.0-3 など) [
debports
]
libcoq-ocaml-dbgsym に関するリンク
Debian の資源:
バグ報告
ソースパッケージをダウンロード:
見つかりません
メンテナ:
類似のパッケージ:
libcoq-aac-tactics-dbgsym
libcoq-bignums-dbgsym
libcoq-dpdgraph-dbgsym
libcoq-elpi-dbgsym
libcoq-equations-dbgsym
libcoq-gappa-dbgsym
libcoq-hammer-dbgsym
libcoq-interval-dbgsym
libcoq-mtac2-dbgsym
libcoq-paramcoq-dbgsym
libcoq-quickchick-dbgsym
debug symbols for libcoq-ocaml
その他の libcoq-ocaml-dbgsym 関連パッケージ
依存
推奨
提案
enhances
dep:
libcoq-ocaml
(= 8.12.0-3+b3)
runtime libraries for Coq
libcoq-ocaml-dbgsym のダウンロード
すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ
バージョン
パッケージサイズ
インストールサイズ
ファイル
hppa
(非公式の移植版)
8.12.0-3+b3
39.9 kB
56.0 kB
[
ファイル一覧
]