Branches for Wily

Name Status Last Modified Last Commit
lp:ubuntu/wily/prover9-manual 1 Development 2015-05-06 20:57:29 UTC
8. [ Jari Aalto ] * QA upload. * Remove ...

Author: Tony Mancill
Revision Date: 2013-05-03 22:08:19 UTC

[ 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.

11 of 1 result