prover9-manual 0.0.200902a-2 source package in Ubuntu
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
Upload details
- Uploaded by:
- Debian QA Group
- Uploaded to:
- Sid
- Original maintainer:
- Debian QA Group
- Architectures:
- all
- Section:
- doc
- Urgency:
- Low Urgency
See full publishing history Publishing
| Series | Published | Component | Section | |
|---|---|---|---|---|
| Focal | release | universe | doc | |
| Bionic | release | universe | doc | |
| Xenial | release | universe | doc | |
| Trusty | release | universe | doc |
Downloads
| 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 |
Available diffs
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.
