prover9-manual (0.0.200902a-1) unstable; urgency=low
* New upstream release.
* debian/examples: updated
* debian/control: new Standards-Version
prover9-manual (0.0.200811a-1) unstable; urgency=low
* 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
-- Ubuntu Archive Auto-Sync <email address hidden> Wed, 29 Apr 2009 12:08:49 +0100