[ sid ]

[ ソース: ]

パッケージ: libcoq-bignums-dbgsym (9.0.0+coq8.20-1 など) [debports]

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

Debian の資源:

バグ報告

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

見つかりません

メンテナ:

類似のパッケージ:

debug symbols for libcoq-bignums

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

依存

推奨

提案

enhances

dep: libcoq-bignums (= 8.17.0-3+b2) [riscv64]

Coq library for big numbers

dep: libcoq-bignums (= 9.0.0+coq8.20-1+b1) [riscv64 以外]

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

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
loong64 (非公式の移植版)	9.0.0+coq8.20-1+b1	3.7 kB	24.0 kB	[ファイル一覧]
ppc64 (非公式の移植版)	9.0.0+coq8.20-1+b1	3.9 kB	26.0 kB	[ファイル一覧]
riscv64 (非公式の移植版)	8.17.0-3+b2	3.5 kB	24.0 kB	[ファイル一覧]