[ sid ]

[ ソース: ]

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

quickchick-dbgsym に関するリンク

Debian の資源:

バグ報告

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

見つかりません

メンテナ:

類似のパッケージ:

debug symbols for quickchick

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

依存

推奨

提案

enhances

dep: quickchick (= 2.0.3-3)

randomized testing framework for Coq (tools)

quickchick-dbgsym のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ	パッケージサイズ	インストールサイズ	ファイル
loong64 (非公式の移植版)	109.8 kB	397.0 kB	[ファイル一覧]
ppc64 (非公式の移植版)	105.7 kB	407.0 kB	[ファイル一覧]