Debian
prover9-manual package

Change logs for prover9-manual source package in Lenny

  1. Lenny (5.0)
  2. Change log 
  • prover9-manual (0.0.200806a-1) unstable; urgency=low


  * New upstream release.
  * debian/control: new Standards-Version

 -- Peter Collingbourne <email address hidden>  Sun, 29 Jun 2008 04:57:20 +0100