1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80
|
prover9-manual (0.0.200902a-2) unstable; urgency=low
[ Jari Aalto ]
* QA upload.
* Remove deprecated dpatch and upgrade to packaging format "3.0 quilt"
(Closes: #664351).
* Update to Standards-Version to 3.9.4, debhelper to 9, ${misc:Depends}.
* Add build-arch and build-indep targets; use dh_prep in rules file.
* Move Alioth repository from Bzr to Git (git-buildpackage).
[ tony mancill ]
* Update d/watch. (Closes: #544791)
- Thanks to both Adam D. Barratt and Bart Martens.
-- tony mancill <tmancill@debian.org> Fri, 03 May 2013 22:08:19 -0700
prover9-manual (0.0.200902a-1) unstable; urgency=low
* New upstream release.
* debian/examples: updated
* debian/control: new Standards-Version
-- Peter Collingbourne <peter@pcc.me.uk> Sun, 15 Mar 2009 00:53:52 +0000
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
-- Peter Collingbourne <peter@pcc.me.uk> Tue, 17 Feb 2009 02:20:39 +0000
prover9-manual (0.0.200809a-1) unstable; urgency=low
* New upstream release.
* debian/control, debian/copyright: changed maintainer email address
-- Peter Collingbourne <peter@peter.uk.to> Sat, 13 Sep 2008 21:14:40 +0100
prover9-manual (0.0.200806a-1) unstable; urgency=low
* New upstream release.
* debian/control: new Standards-Version
-- Peter Collingbourne <pcc03@doc.ic.ac.uk> Sun, 29 Jun 2008 04:57:20 +0100
prover9-manual (0.0.200805a-1) unstable; urgency=low
* New upstream release.
* debian/control: added DM-Upload-Allowed: yes
-- Peter Collingbourne <pcc03@doc.ic.ac.uk> Mon, 12 May 2008 19:34:36 +0100
prover9-manual (0.0.200804a-1) unstable; urgency=low
* New upstream release.
* debian/watch: added support for new version numbering scheme
-- Peter Collingbourne <pcc03@doc.ic.ac.uk> Tue, 8 Apr 2008 19:40:46 +0100
prover9-manual (0.0.200712-2) unstable; urgency=low
* debian/rules: removed bashism (closes: #471753)
* debian/doc-base: changed Section to a valid value
-- Peter Collingbourne <pcc03@doc.ic.ac.uk> Thu, 20 Mar 2008 20:37:05 +0000
prover9-manual (0.0.200712-1) unstable; urgency=low
* Initial release (Closes: #437944)
* syntax.html: replaced literal < and > symbols with entities in order to
prevent htmldoc from failing
-- Peter Collingbourne <pcc03@doc.ic.ac.uk> Mon, 14 Jan 2008 20:24:28 +0000
|