[ buster ]
ソースパッケージ: p9m4 (0.5.dfsg-3)
以下のバイナリパッケージがこのソースパッケージからビルドされています。
- prover9-mace4
- GUI for Prover9 and Mace4
その他の p9m4 関連パッケージ
|
|
Download p9m4
| ファイル | サイズ (単位: kB) | MD5 チェックサム |
|---|---|---|
| p9m4_0.5.dfsg-3.dsc | 1.7 kB | 57622870c89be51e690e1d3ba7b619b6 |
| p9m4_0.5.dfsg.orig.tar.gz | 86.6 kB | 04afdf4e290e8a9100ac69893a561e53 |
| p9m4_0.5.dfsg-3.debian.tar.xz | 8.6 kB | a36c50463727eb5eea0af31579a99947 |