[ sid ]

[ ソース: ]

パッケージ: libcoq-quickchick-dbgsym (2.0.3-3 など) [debports]

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

Debian の資源:

バグ報告

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

見つかりません

メンテナ:

類似のパッケージ:

debug symbols for libcoq-quickchick

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

依存

推奨

提案

enhances

dep: libcoq-quickchick (= 2.0-2+b1) [riscv64]

randomized testing framework for Coq (plugin)

dep: libcoq-quickchick (= 2.0.3-3) [riscv64 以外]

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

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
loong64 (非公式の移植版)	2.0.3-3	71.8 kB	323.0 kB	[ファイル一覧]
ppc64 (非公式の移植版)	2.0.3-3	66.2 kB	335.0 kB	[ファイル一覧]
riscv64 (非公式の移植版)	2.0-2+b1	30.4 kB	265.0 kB	[ファイル一覧]