Debian
p9m4 package

Branches for Lenny

Name		Status	Last Modified	Last Commit
lp:debian/lenny/p9m4		2 Mature	2009-07-26 07:19:06 UTC 2009-07-26	2. * Initial release (closes: #460813) ... Author:* Peter Collingbourne Revision Date: 2008-01-15 01:35:54 UTC * 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