[ sid ]
パッケージ: eprover-dbgsym (3.1.0+ds-1)
[debports]
eprover-dbgsym に関するリンク
Debian の資源:
ソースパッケージをダウンロード:
見つかりません
メンテナ:
類似のパッケージ:
debug symbols for eprover
その他の eprover-dbgsym 関連パッケージ
-
- dep:
eprover
(= 3.1.0+ds-1)
- Equational theorem prover
eprover-dbgsym のダウンロード
すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ |
パッケージサイズ |
インストールサイズ |
ファイル |
ppc64 (非公式の移植版) |
122.8 kB | 971.0 kB |
[ファイル一覧]
|