[ sid ]

[ ソース: ]

パッケージ: libz3-jni-dbgsym (4.8.12-3.1 など) [debports]

libz3-jni-dbgsym に関するリンク

Debian の資源:

バグ報告

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

見つかりません

メンテナ:

類似のパッケージ:

debug symbols for libz3-jni

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

依存

推奨

提案

enhances

dep: libz3-jni (= 4.8.12-3.1) [alpha, riscv64]

theorem prover from Microsoft Research - JNI library

dep: libz3-jni (= 4.8.12-3.1+b2) [sparc64, x32]

libz3-jni-dbgsym のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
alpha (非公式の移植版)	4.8.12-3.1	178.7 kB	264.0 kB	[ファイル一覧]
riscv64 (非公式の移植版)	4.8.12-3.1	159.6 kB	247.0 kB	[ファイル一覧]
sparc64 (非公式の移植版)	4.8.12-3.1+b2	164.3 kB	250.0 kB	[ファイル一覧]
x32 (非公式の移植版)	4.8.12-3.1+b2	179.0 kB	253.0 kB	[ファイル一覧]