prover9-manual source package in Precise

prover9-doc: No summary available for prover9-doc in ubuntu lucid.

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-1)

File Size SHA-256 Checksum
prover9-manual_0.0.200902a.orig.tar.gz 1010.2 KiB 8d049695b3927743e90bf5ed6db3282e7a8a05de6e95dcc1d5792ce763e793a5
prover9-manual_0.0.200902a-1.diff.gz 4.1 KiB 0d14cb86876ecb20bdcbe1fad98f288a9dd7d46629ff24a7340ef4fa2deeefcf
prover9-manual_0.0.200902a-1.dsc 1.2 KiB c4412b363581d9511d28036729ee8acde0f2e3fb30d3b834da56fe64788f505c

Package relationships

Build dependencies

Platform-independent build dependencies

Platform-dependent build dependencies

Build conflicts

Platform-independent build dependencies

Platform-dependent build dependencies