Publishing details

• Removal requested on 2021-12-22.
• Published on 2020-04-24
• 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

Builds

Package files

• prover9-doc_0.0.200902a-2_all.deb (944.0 KiB)
• prover9-manual_0.0.200902a-2.debian.tar.gz (4.6 KiB)
• prover9-manual_0.0.200902a-2.dsc (1.9 KiB)
• prover9-manual_0.0.200902a.orig.tar.gz (1010.2 KiB)