[ sid ]

[ ソース: ]

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

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

Debian の資源:

バグ報告

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

見つかりません

メンテナ:

類似のパッケージ:

debug symbols for libz3-4

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

依存

推奨

提案

enhances

dep: libz3-4 (= 4.8.12-3.1)

theorem prover from Microsoft Research - runtime libraries

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

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ	パッケージサイズ	インストールサイズ	ファイル
hppa (非公式の移植版)	132,646.5 kB	135,425.0 kB	[ファイル一覧]