Branches for Lucid

Name Status Last Modified Last Commit
lp:ubuntu/lucid/prover9-manual 1 Development 2009-10-30 20:28:27 UTC
7. * New upstream release. * debian/exam...

Author: Peter Collingbourne
Revision Date: 2009-03-15 00:53:52 UTC

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

11 of 1 result