-----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
