[ sid ]

[ ソース: ]

パッケージ: libcvc5-1-dbgsym (1.1.2-2) [debports]

libcvc5-1-dbgsym に関するリンク

Debian の資源:

バグ報告

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

見つかりません

メンテナ:

類似のパッケージ:

debug symbols for libcvc5-1

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

依存

推奨

提案

enhances

dep: libcvc5-1 (= 1.1.2-2)

automated theorem prover for SMT problems (runtime)

libcvc5-1-dbgsym のダウンロード

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