Überspringen der Navigation

Packages

• Über Debian
• Debian erhalten
• Unterstützung
• Developers' Corner

 / Pakete / buster (oldoldstable) / Quellcode / math / p9m4

[  buster  ]

Links für p9m4

Debian-Ressourcen:

• Fehlerberichte
• Entwicklerinformationen
• Debian-Changelog
• Copyright-Datei
• Debian Patch-Überblick

Betreuer:

• Debian QA Group (QS-Seite)

Externe Ressourcen:

• Homepage [www.cs.unm.edu]

Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:

prover9-mace4

GUI for Prover9 and Mace4

Andere Pakete mit Bezug zu p9m4

build-depends

build-depends-indep

• adep: cdbs

  Gemeinsames Build-System für Debian-Pakete

• adep: debhelper (>= 9)

  Hilfsprogramme für debian/rules

• adep: python

  Interaktive objektorientierte Hochsprache (Python2-Version)

• adep: dh-python

  Debian-Hilfsprogramme zum Paketieren von Python-Bibliotheken und -Anwendungen

Download p9m4

Datei	Größe (in kB)	MD5-Prüfsumme
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