[ sid ]

[ ソース: ]

パッケージ: libcoq-gappa-dbgsym (1.5.5-1 など) [debports]

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

Debian の資源:

バグ報告

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

見つかりません

メンテナ:

類似のパッケージ:

debug symbols for libcoq-gappa

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

依存

推奨

提案

enhances

dep: libcoq-gappa (= 1.5.3-1+b1) [riscv64]

Coq tactic to use Gappa for floating-point goals

dep: libcoq-gappa (= 1.5.5-1) [ppc64]

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

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
ppc64 (非公式の移植版)	1.5.5-1	6.4 kB	45.0 kB	[ファイル一覧]
riscv64 (非公式の移植版)	1.5.3-1+b1	5.8 kB	39.0 kB	[ファイル一覧]