Change logs for prover9-manual source package in Saucy
-
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 <email address hidden> 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 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