[ sid ]

[ ソース: ]

パッケージ: libcoq-paramcoq-dbgsym (1.1.3+coq8.19-2 など) [debports]

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

Debian の資源:

バグ報告

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

見つかりません

メンテナ:

類似のパッケージ:

debug symbols for libcoq-paramcoq

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

依存

推奨

提案

enhances

dep: libcoq-paramcoq (= 1.1.3+coq8.17-2) [riscv64]

Coq plugin to generate parametricity statements

dep: libcoq-paramcoq (= 1.1.3+coq8.19-2) [riscv64 以外]

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

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
loong64 (非公式の移植版)	1.1.3+coq8.19-2	13.9 kB	98.0 kB	[ファイル一覧]
ppc64 (非公式の移植版)	1.1.3+coq8.19-2	14.4 kB	109.0 kB	[ファイル一覧]
riscv64 (非公式の移植版)	1.1.3+coq8.17-2	11.7 kB	86.0 kB	[ファイル一覧]