[ sid ]

[ ソース: ]

パッケージ: libcvc4parser4-dbgsym (1.5-1) [debports]

libcvc4parser4-dbgsym に関するリンク

Debian の資源:

バグ報告

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

見つかりません

メンテナ:

類似のパッケージ:

debug symbols for libcvc4parser4

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

依存

推奨

提案

enhances

dep: libcvc4parser4 (= 1.5-1)

automated theorem prover for SMT problems (parser runtime)

libcvc4parser4-dbgsym のダウンロード

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