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

パッケージ: eprover-dbgsym (3.2.5+ds-1 など) [debports]

eprover-dbgsym に関するリンク

Screenshot

Debian の資源:

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

見つかりません

メンテナ:

類似のパッケージ:

debug symbols for eprover

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

  • 依存
  • 推奨
  • 提案
  • enhances

eprover-dbgsym のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ バージョン パッケージサイズ インストールサイズ ファイル
alpha (非公式の移植版) 3.2.5+ds-1 138.1 kB901.0 kB [ファイル一覧]
hppa (非公式の移植版) 3.2.5+ds-1 136.3 kB749.0 kB [ファイル一覧]
ia64 (非公式の移植版) 3.0.03+ds-1 181.9 kB1,224.0 kB [ファイル一覧]
loong64 (非公式の移植版) 3.2.5+ds-1 140.4 kB918.0 kB [ファイル一覧]
m68k (非公式の移植版) 3.2.5+ds-1 134.6 kB743.0 kB [ファイル一覧]
ppc64 (非公式の移植版) 3.2.5+ds-1 121.7 kB971.0 kB [ファイル一覧]
riscv64 (非公式の移植版) 2.6+ds-3+b1 115.6 kB774.0 kB [ファイル一覧]
sh4 (非公式の移植版) 3.2.5+ds-1 139.2 kB1,849.0 kB [ファイル一覧]
sparc64 (非公式の移植版) 3.2.5+ds-1 136.1 kB918.0 kB [ファイル一覧]
x32 (非公式の移植版) 3.2.5+ds-1 131.4 kB741.0 kB [ファイル一覧]