ナビゲーションをスキップ
Packages
About Debian
Getting Debian
Support
Developers' Corner
/
パッケージ
/
sid (unstable)
/
debug
/ cvc4-dbgsym
パッケージ名
パッケージ説明
ソースパッケージ名
パッケージの内容
すべてのオプション
[
sid
]
[ ソース:
]
パッケージ: cvc4-dbgsym (1.8-3 など) [
debports
]
cvc4-dbgsym に関するリンク
Debian の資源:
バグ報告
ソースパッケージをダウンロード:
見つかりません
メンテナ:
類似のパッケージ:
cvc5-dbgsym
python3-cvc5-dbgsym
cvc5
libcvc5-dev
libcvc5-1
python3-cvc5
libcvc5parser1
libcvc4-dev
libcvc4-7
libcvc4-4
libcvc4-5
debug symbols for cvc4
その他の cvc4-dbgsym 関連パッケージ
依存
推奨
提案
enhances
dep:
cvc4
(= 1.8-3+b2)
automated theorem prover for SMT problems
cvc4-dbgsym のダウンロード
すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ
バージョン
パッケージサイズ
インストールサイズ
ファイル
m68k
(非公式の移植版)
1.8-3+b2
932.2 kB
967.0 kB
[
ファイル一覧
]