Ubuntu
prover9-manual package

prover9-manual 0.0.200902a-2.1 source package in Ubuntu

Changelog

prover9-manual (0.0.200902a-2.1) unstable; urgency=medium

  * Non maintainer upload by the Reproducible Builds team.
  * No source change upload to rebuild on buildd with .buildinfo files.

 -- Holger Levsen <email address hidden>  Tue, 05 Jan 2021 23:21:05 +0100

Upload details

Uploaded by:
Debian QA Group
Uploaded to:
Sid
Original maintainer:
Debian QA Group
Architectures:
all
Section:
doc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Oracular release universe doc
Noble release universe doc
Mantic release universe doc
Lunar release universe doc
Jammy release universe doc

Builds

Hirsute: [FULLYBUILT] amd64

Downloads

File Size SHA-256 Checksum
prover9-manual_0.0.200902a-2.1.dsc 1.9 KiB 3555a9e207b0818b0c17aa45c025cffe1d736064c81e907b9b43a6c33e01f356
prover9-manual_0.0.200902a.orig.tar.gz 1010.2 KiB 8d049695b3927743e90bf5ed6db3282e7a8a05de6e95dcc1d5792ce763e793a5
prover9-manual_0.0.200902a-2.1.debian.tar.xz 4.6 KiB f691a8754fe1e6262ab8287df0ec404f9da30a6967019720c9a7b04cf883c4b9

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.