všetky možnosti
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]

Zdrojový balík: p9m4 (0.5.dfsg-2)

Odkazy pre p9m4

Zdroje Debian:

Správcovia:

Externé zdroje:

Nasledovné binárne balíky sú zostavované z tohto zdrojového balíka:
prover9-mace4
GUI for Prover9 and Mace4

Ostatné balíky súvisiace s balíkom p9m4

  • build-depends
  • build-depends-indep

Download p9m4

SúborVeľkosť (v kB)kontrolný súčet MD5
p9m4_0.5.dfsg-2.dsc 1.3 kB ada7aaaf3871ca5572ffe45f19107a4d
p9m4_0.5.dfsg.orig.tar.gz 86.6 kB 04afdf4e290e8a9100ac69893a561e53
p9m4_0.5.dfsg-2.diff.gz 8.5 kB d118d27a7bad4866399cea99e7a4c494
Úložisko zdrojových balíkov Debianu (VCS: Subversion)
svn://svn.debian.org/python-apps/packages/p9m4/trunk/
Úložisko zdrojových balíkov Debianu (možno prezerať)
http://svn.debian.org/viewsvn/python-apps/packages/p9m4/trunk/