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

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

cbmc-dbgsym に関するリンク

Screenshot

Debian の資源:

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

見つかりません

メンテナ:

類似のパッケージ:

debug symbols for cbmc

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

  • 依存
  • 推奨
  • 提案
  • enhances

cbmc-dbgsym のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ バージョン パッケージサイズ インストールサイズ ファイル
alpha (非公式の移植版) 6.6.0-4 619,268.7 kB719,804.0 kB [ファイル一覧]
hppa (非公式の移植版) 6.6.0-4 491,254.1 kB568,840.0 kB [ファイル一覧]
ia64 (非公式の移植版) 5.95.1-4 535,843.4 kB543,834.0 kB [ファイル一覧]
loong64 (非公式の移植版) 6.6.0-4 594,876.0 kB677,402.0 kB [ファイル一覧]
m68k (非公式の移植版) 6.6.0-4 427,183.8 kB511,615.0 kB [ファイル一覧]
ppc64 (非公式の移植版) 6.6.0-4 502,659.5 kB603,190.0 kB [ファイル一覧]
riscv64 (非公式の移植版) 5.84.0-11 423,973.2 kB433,127.0 kB [ファイル一覧]
sh4 (非公式の移植版) 6.6.0-4 351,586.6 kB433,673.0 kB [ファイル一覧]
sparc64 (非公式の移植版) 6.6.0-4 591,883.1 kB673,208.0 kB [ファイル一覧]
x32 (非公式の移植版) 6.6.0-4 614,633.5 kB643,482.0 kB [ファイル一覧]