すべてのオプション
jessie  ] [  stretch  ] [  buster  ]

ソースパッケージ: p9m4 (0.5.dfsg-3)

p9m4 に関するリンク

Debian の資源:

メンテナ:

外部の資源:

以下のバイナリパッケージがこのソースパッケージからビルドされています。
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