всички настройки
jessie  ] [  stretch  ] [  buster  ]

Пакет-източник: p9m4 (0.5.dfsg-3)

Връзки за p9m4

Ресурси за Debian:

Отговорник:

Външни препратки:

Следните двоични пакети са компилирани от този пакет-източник:
prover9-mace4
GUI for Prover9 and Mace4

Други пакети, свързани с p9m4

  • зависимости при компилиране
  • зависимости при компилиране (архитектурно-независими)

Download p9m4

ФайлГолемина (в кБ)контролна сума MD5
p9m4_0.5.dfsg-3.dsc 1,7 кБ 57622870c89be51e690e1d3ba7b619b6
p9m4_0.5.dfsg.orig.tar.gz 86,6 кБ 04afdf4e290e8a9100ac69893a561e53
p9m4_0.5.dfsg-3.debian.tar.xz 8,6 кБ a36c50463727eb5eea0af31579a99947