全部搜尋項
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