Debian
p9m4 package

Change logs for p9m4 source package in Lenny

  1. Lenny (5.0)
  2. Change log 
  • 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

 -- Peter Collingbourne <email address hidden>  Tue, 15 Jan 2008 01:35:54 +0000