prover9-manual source package in Xenial

prover9-doc: documentation for Prover9 and associated programs

Versions published


The package versions that were published when the distribution release was made.

prover9-manual information

Current version:
Low Urgency

Upstream connections

Launchpad doesn’t know which project and series this package belongs to. Links from distribution packages to upstream project let distribution and upstream maintainers share bugs, patches, and translations efficiently.

There are no projects registered in Launchpad that are a potential match for this source package. Can you help us find one?

Releases in Ubuntu

Binary packages

Download files from current release (0.0.200902a-2)

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

Package relationships

Build dependencies

Platform-independent build dependencies

Platform-dependent build dependencies

Build conflicts

Platform-independent build dependencies

Platform-dependent build dependencies