Ubuntu
prover9-manual package

lp:ubuntu/precise/prover9-manual

Created by James Westby on 2011-10-13 and last modified on 2011-10-13

Members of Ubuntu branches can upload to this branch. Log in for directions.

7. By Peter Collingbourne <email address hidden> on 2009-03-15: * New upstream release.
* debian/examples: updated
* debian/control: new Standards-Version
6. By Peter Collingbourne <email address hidden> on 2009-02-17: * New upstream release.
* debian/examples: updated
* debian/control: Vcs-Bzr uses nosmart+http protocol
* debian/control, debian/copyright: changed maintainer email address
(again)
* debian/copyright: changed year to 2009, corrected expression of
copyright, refer to GPL-2 explicitly
* debian/install: eliminated brace expansion
5. By Peter Collingbourne <email address hidden> on 2008-09-13: * New upstream release.
* debian/control, debian/copyright: changed maintainer email address
4. By Peter Collingbourne on 2008-06-29: * New upstream release.
* debian/control: new Standards-Version
3. By Peter Collingbourne on 2008-05-12: * New upstream release.
* debian/control: added DM-Upload-Allowed: yes
2. By Peter Collingbourne on 2008-04-08: * New upstream release.
* debian/watch: added support for new version numbering scheme
1. By Peter Collingbourne on 2008-04-08: Import upstream version 0.0.200804a

This branch contains Public information

Everyone can see this information.