[ sid ]

[ ソース: ]

パッケージ: libcoq-hammer-dbgsym (1.3.2+8.19-2 など) [debports]

libcoq-hammer-dbgsym に関するリンク

Debian の資源:

バグ報告

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

見つかりません

メンテナ:

類似のパッケージ:

debug symbols for libcoq-hammer

その他の libcoq-hammer-dbgsym 関連パッケージ

依存

推奨

提案

enhances

dep: libcoq-hammer (= 1.3.2+8.17-1+b2) [riscv64]

automated reasoning tool for Coq

dep: libcoq-hammer (= 1.3.2+8.19-2) [ppc64]

libcoq-hammer-dbgsym のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
ppc64 (非公式の移植版)	1.3.2+8.19-2	42.7 kB	353.0 kB	[ファイル一覧]
riscv64 (非公式の移植版)	1.3.2+8.17-1+b2	39.7 kB	314.0 kB	[ファイル一覧]