Copied from
debian sid in
Primary Archive for Debian GNU/Linux
Changelog
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