ナビゲーションをスキップ
Packages
About Debian
Getting Debian
Support
Developers' Corner
/
パッケージ
/
sid (unstable)
/
debug
/ jbmc-dbgsym
パッケージ名
パッケージ説明
ソースパッケージ名
パッケージの内容
すべてのオプション
[
sid
]
[ ソース:
]
パッケージ: jbmc-dbgsym (5.95.1-6) [
debports
]
jbmc-dbgsym に関するリンク
Debian の資源:
バグ報告
ソースパッケージをダウンロード:
見つかりません
メンテナ:
類似のパッケージ:
xen-utils-4.17-dbg
libxfce4ui-1-dbg
libxfce4ui-2-dbg
gimp-dbg
digikam-dbg
binutils-aarch64-linux-gnu-dbg
binutils-alpha-linux-gnu-dbg
binutils-arm-linux-gnueabi-dbg
binutils-arm-linux-gnueabihf-dbg
binutils-hppa-linux-gnu-dbg
binutils-hppa64-linux-gnu-dbg
debug symbols for jbmc
その他の jbmc-dbgsym 関連パッケージ
依存
推奨
提案
enhances
dep:
jbmc
(= 5.95.1-6)
bounded model checker for Java programs
jbmc-dbgsym のダウンロード
すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ
パッケージサイズ
インストールサイズ
ファイル
ppc64
(非公式の移植版)
189,529.3 kB
193,046.0 kB
[
ファイル一覧
]