Skip to content
Sections
>> Trisquel >> Paket >> etiona >> Källkod >> math >> p9m4
[  etiona  ]

Källkodspaket: p9m4 (0.5.dfsg-3)

Länkar för p9m4

Trisquelresurser:

Ansvarig:

Original Maintainer:

  • Debian QA Group

Externa resurser:

Följande binärpaket byggs från detta källkodspaket:
prover9-mace4
GUI for Prover9 and Mace4

Andra paket besläktade med p9m4

  • bygg-beroende
  • arkitekturoberoende bygg-beroende
  • 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

FilStorlek (i kbyte)MD5-kontrollsumma
p9m4_0.5.dfsg-3.dsc 1,7 kbyte 57622870c89be51e690e1d3ba7b619b6
p9m4_0.5.dfsg.orig.tar.gz 86,6 kbyte 04afdf4e290e8a9100ac69893a561e53
p9m4_0.5.dfsg-3.debian.tar.xz 8,6 kbyte a36c50463727eb5eea0af31579a99947