すべてのオプション
[  sid  ]
[ ソース:  ]

パッケージ: cvc4-dbgsym (1.8-4 など) [debports]

cvc4-dbgsym に関するリンク

Screenshot

Debian の資源:

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

見つかりません

メンテナ:

類似のパッケージ:

debug symbols for cvc4

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

  • 依存
  • 推奨
  • 提案
  • enhances

cvc4-dbgsym のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ バージョン パッケージサイズ インストールサイズ ファイル
alpha (非公式の移植版) 1.8-4 977.5 kB1,156.0 kB [ファイル一覧]
hppa (非公式の移植版) 1.5-1 3,100.0 kB3,236.0 kB [ファイル一覧]
ia64 (非公式の移植版) 1.8-3+b2 1,016.0 kB1,056.0 kB [ファイル一覧]
loong64 (非公式の移植版) 1.8-4 977.4 kB1,139.0 kB [ファイル一覧]
m68k (非公式の移植版) 1.8-4 935.0 kB1,101.0 kB [ファイル一覧]
ppc64 (非公式の移植版) 1.8-4 987.6 kB1,034.0 kB [ファイル一覧]
riscv64 (非公式の移植版) 1.8-3 863.3 kB905.0 kB [ファイル一覧]
sparc64 (非公式の移植版) 1.8-4 962.3 kB1,120.0 kB [ファイル一覧]
x32 (非公式の移植版) 1.8-4 983.6 kB1,017.0 kB [ファイル一覧]