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

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

cbmc-dbgsym に関するリンク

Screenshot

Debian の資源:

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

見つかりません

メンテナ:

類似のパッケージ:

debug symbols for cbmc

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

  • 依存
  • 推奨
  • 提案
  • enhances

cbmc-dbgsym のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ バージョン パッケージサイズ インストールサイズ ファイル
alpha (非公式の移植版) 6.1.1-2 612,320.8 kB621,251.0 kB [ファイル一覧]
hppa (非公式の移植版) 6.1.1-2 486,088.1 kB494,639.0 kB [ファイル一覧]
ia64 (非公式の移植版) 5.95.1-4 535,843.4 kB543,834.0 kB [ファイル一覧]
m68k (非公式の移植版) 6.1.1-2 422,231.8 kB430,165.0 kB [ファイル一覧]
ppc64 (非公式の移植版) 6.1.1-2 497,157.5 kB506,041.0 kB [ファイル一覧]
riscv64 (非公式の移植版) 5.84.0-11 423,973.2 kB433,127.0 kB [ファイル一覧]
sh4 (非公式の移植版) 6.1.1-2 340,430.6 kB347,179.0 kB [ファイル一覧]
sparc64 (非公式の移植版) 6.1.1-2 585,117.5 kB594,865.0 kB [ファイル一覧]
x32 (非公式の移植版) 6.1.1-2 607,593.0 kB617,903.0 kB [ファイル一覧]