ナビゲーションをスキップ
Packages
About Debian
Getting Debian
Support
Developers' Corner
/
パッケージ
/
sid (unstable)
/
debug
/ z3-dbgsym
パッケージ名
パッケージ説明
ソースパッケージ名
パッケージの内容
すべてのオプション
[
sid
]
[ ソース:
]
パッケージ: z3-dbgsym (4.8.12-3.1) [
debports
]
z3-dbgsym に関するリンク
Debian の資源:
バグ報告
ソースパッケージをダウンロード:
見つかりません
メンテナ:
類似のパッケージ:
libz3-java
python-z3
libz3-jni
libz3-ocaml-dev
python3-z3
z3
yorick-z-dbgsym
libopencsg1-dbg
libhkl-dbg
binutils-z80-dbgsym
libnet-z3950-simpleserver-perl-dbgsym
debug symbols for z3
その他の z3-dbgsym 関連パッケージ
依存
推奨
提案
enhances
dep:
z3
(= 4.8.12-3.1)
theorem prover from Microsoft Research
z3-dbgsym のダウンロード
すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ
パッケージサイズ
インストールサイズ
ファイル
sparc64
(非公式の移植版)
133,145.3 kB
136,149.0 kB
[
ファイル一覧
]