[  etiona  ]

Връзки за p9m4

Ресурси за Trisquel:

• Доклади за грешки
• Changelog
• Авторски права

Отговорник:

• Debian QA Group

Original Maintainer:

• Debian QA Group

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

• Начална страница [www.cs.unm.edu]

Следните двоични пакети са компилирани от този пакет-източник:

prover9-mace4

GUI for Prover9 and Mace4

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

зависимости при компилиране

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

• adep: cdbs

  common build system for Debian packages

• adep: debhelper (>= 9)

  helper programs for debian/rules

• adep: python

  interactive high-level object-oriented language (default version)

• adep: dh-python

  Debian helper tools for packaging Python libraries and applications

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