Accepted p9m4 0.5.dfsg-1 (source all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Tue, 15 Jan 2008 01:35:54 +0000
Source: p9m4
Binary: prover9-mace4
Architecture: source all
Version: 0.5.dfsg-1
Distribution: unstable
Urgency: low
Maintainer: Peter Collingbourne <pcc03@doc.ic.ac.uk>
Changed-By: Peter Collingbourne <pcc03@doc.ic.ac.uk>
Description:
prover9-mace4 - GUI for Prover9 and Mace4
Closes: 460813
Changes:
p9m4 (0.5.dfsg-1) unstable; urgency=low
.
* Initial release (closes: #460813)
* my_setup.py, partition_input.py: removed Python-2.5isms from code
* debian/setup.py: wrote distutils script
* files.py, prover9-mace4.py: point to correct file locations
Files:
e262887e46f96c66fb9c50d4e13fb915 922 math optional p9m4_0.5.dfsg-1.dsc
04afdf4e290e8a9100ac69893a561e53 88683 math optional p9m4_0.5.dfsg.orig.tar.gz
a1353ce9a2dc80f5431167118b16faa1 3297 math optional p9m4_0.5.dfsg-1.diff.gz
59e0ded3bc82e67bb26d3d5a5bbc2201 67370 math optional prover9-mace4_0.5.dfsg-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFHyHOtBnqtBMk7/3kRAtUhAJ4zgz58QmgQWiGhAFLn6wSF07KoUgCgjCWO
+CMK3kx+/0w1OkdwVnZ1DzM=
=RJEt
-----END PGP SIGNATURE-----
Accepted:
p9m4_0.5.dfsg-1.diff.gz
to pool/main/p/p9m4/p9m4_0.5.dfsg-1.diff.gz
p9m4_0.5.dfsg-1.dsc
to pool/main/p/p9m4/p9m4_0.5.dfsg-1.dsc
p9m4_0.5.dfsg.orig.tar.gz
to pool/main/p/p9m4/p9m4_0.5.dfsg.orig.tar.gz
prover9-mace4_0.5.dfsg-1_all.deb
to pool/main/p/p9m4/prover9-mace4_0.5.dfsg-1_all.deb
Reply to: