Debian
prover9-manual package

Change log for prover9-manual package in Debian

1 → 6 of 6 results First • Previous • Next • Last
Published in bookworm-release
Published in bullseye-release
Published in sid-release 
prover9-manual (0.0.200902a-2.1) unstable; urgency=medium

  * Non maintainer upload by the Reproducible Builds team.
  * No source change upload to rebuild on buildd with .buildinfo files.

 -- Holger Levsen <email address hidden>  Tue, 05 Jan 2021 23:21:05 +0100

Available diffs

Published in buster-release
Published in stretch-release
Published in jessie-release
Superseded in sid-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 jessie-release
Published in wheezy-release
Published in squeeze-release
Superseded in sid-release 
prover9-manual (0.0.200902a-1) unstable; urgency=low


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

 -- Peter Collingbourne <email address hidden>  Sun, 15 Mar 2009 00:53:52 +0000
Superseded in squeeze-release
Superseded in sid-release 
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 <email address hidden>  Tue, 17 Feb 2009 02:20:39 +0000
Superseded in squeeze-release
Superseded in sid-release 
prover9-manual (0.0.200809a-1) unstable; urgency=low


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

 -- Peter Collingbourne <email address hidden>  Sat, 13 Sep 2008 21:14:40 +0100
Published in lenny-release 
prover9-manual (0.0.200806a-1) unstable; urgency=low


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

 -- Peter Collingbourne <email address hidden>  Sun, 29 Jun 2008 04:57:20 +0100
1 → 6 of 6 results First • Previous • Next • Last