prover9-manual 0.0.200902a-2 source package in Ubuntu


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

Upload details

Uploaded by:
Debian QA Group on 2013-05-04
Uploaded to:
Original maintainer:
Debian QA Group
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Disco release on 2018-10-30 universe doc
Cosmic release on 2018-05-01 universe doc
Bionic release on 2017-10-24 universe doc
Artful release on 2017-04-20 universe doc
Xenial release on 2015-10-22 universe doc
Trusty release on 2013-10-18 universe doc


Saucy: [FULLYBUILT] i386


File Size SHA-256 Checksum
prover9-manual_0.0.200902a-2.dsc 1.9 KiB e825424637e9ede129f7a89a76c8a8971e96886fad39ce1186cedeeb69c2f857
prover9-manual_0.0.200902a.orig.tar.gz 1010.2 KiB 8d049695b3927743e90bf5ed6db3282e7a8a05de6e95dcc1d5792ce763e793a5
prover9-manual_0.0.200902a-2.debian.tar.gz 4.6 KiB c8da5e0cff1666068314e3cbf29850d72350207abf9393813494bee29d7722f4

No changes file available.

Binary packages built by this source

prover9-doc: documentation for Prover9 and associated programs

 Prover9 is an automated theorem prover for first-order and equational
 logic. It is a successor of the Otter prover. Prover9 uses the
 inference techniques of ordered resolution and paramodulation with
 literal selection.
 This package provides documentation for Prover9, Mace4 and other
 associated programs.