wszystkie opcje
jessie  ] [  stretch  ] [  buster  ]

Pakiet źródłowy: p9m4 (0.5.dfsg-2.2)

Odnośniki dla p9m4

Zasoby systemu Debian:

Opiekunowie:

Zasoby zewnętrzne:

Z tego pakietu źródłowego zbudowano następujące pakiety binarne:
prover9-mace4
GUI for Prover9 and Mace4

Inne pakiety związane z p9m4

  • build-depends
  • build-depends-indep

Download p9m4

PlikRozmiar (w KiB)Suma kontrolna MD5
p9m4_0.5.dfsg-2.2.dsc 1,9 KiB f791ab9af9e384e0aea5252d8672ca08
p9m4_0.5.dfsg.orig.tar.gz 86,6 KiB 04afdf4e290e8a9100ac69893a561e53
p9m4_0.5.dfsg-2.2.diff.gz 8,9 KiB 7b4c0813a8e99a010cdc7cf36ba839a3
Repozytorium kodu źródłowego Debiana (VCS: Subversion)
svn://svn.debian.org/python-apps/packages/p9m4/trunk/
Repozytorium kodu źródłowego Debiana (do przeglądania)
http://svn.debian.org/viewsvn/python-apps/packages/p9m4/trunk/