Change log for prover9-manual package in Ubuntu

16 of 6 results
Published in cosmic-release on 2018-05-01
Published in bionic-release on 2017-10-24
Published in artful-release on 2017-04-20
Obsolete in zesty-release on 2018-06-22
Obsolete in yakkety-release on 2018-01-23
Published in xenial-release on 2015-10-22
Obsolete in wily-release on 2018-01-22
Obsolete in vivid-release on 2018-01-18
Obsolete in utopic-release on 2016-11-03
Published in trusty-release on 2013-10-18
Obsolete in saucy-release on 2015-04-24
Deleted in saucy-proposed (Reason: moved to release)
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
Superseded in saucy-release on 2013-05-04
Obsolete in raring-release on 2015-04-24
Obsolete in quantal-release on 2015-04-24
Published in precise-release on 2011-10-13
Obsolete in oneiric-release on 2015-04-24
Obsolete in natty-release on 2013-06-04
Obsolete in maverick-release on 2013-03-05
Obsolete in lucid-release on 2016-10-26
Obsolete in karmic-release on 2013-03-04
prover9-manual (0.0.200902a-1) unstable; urgency=low

  * New upstream release.
  * debian/examples: updated
  * debian/control: new Standards-Version

Available diffs

Superseded in karmic-release on 2009-04-29
Obsolete in jaunty-release on 2013-02-28
prover9-manual (0.0.200809a-1) unstable; urgency=low

  * New upstream release.
  * debian/control, debian/copyright: changed maintainer email address

 -- Ubuntu Archive Auto-Sync <email address hidden>   Wed,  05 Nov 2008 10:46:16 +0000

Available diffs

Superseded in jaunty-release on 2008-11-05
Obsolete in intrepid-release on 2013-02-20
prover9-manual (0.0.200806a-1) unstable; urgency=low

  * New upstream release.
  * debian/control: new Standards-Version

 -- Ubuntu Archive Auto-Sync <email address hidden>   Fri,  04 Jul 2008 08:44:48 +0100

Available diffs

Superseded in intrepid-release on 2008-07-04
prover9-manual (0.0.200805a-1) unstable; urgency=low

  * New upstream release.
  * debian/control: added DM-Upload-Allowed: yes

 -- Ubuntu Archive Auto-Sync <email address hidden>   Thu,  29 May 2008 13:29:19 +0100

Available diffs

Superseded in intrepid-release on 2008-05-29
prover9-manual (0.0.200804a-1) unstable; urgency=low

  * New upstream release.
  * debian/watch: added support for new version numbering scheme

16 of 6 results