[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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: