Publishing details

• Published on 2011-10-13
• Copied from ubuntu karmic in Primary Archive for Ubuntu

Changelog

prover9-manual (0.0.200902a-1) unstable; urgency=low

  * New upstream release.
  * debian/examples: updated
  * debian/control: new Standards-Version

prover9-manual (0.0.200811a-1) unstable; urgency=low

  * New upstream release.
  * debian/examples: updated
  * debian/control: Vcs-Bzr uses nosmart+http protocol
  * debian/control, debian/copyright: changed maintainer email address
    (again)
  * debian/copyright: changed year to 2009, corrected expression of
    copyright, refer to GPL-2 explicitly
  * debian/install: eliminated brace expansion

 -- Ubuntu Archive Auto-Sync <email address hidden>   Wed,  29 Apr 2009 12:08:49 +0100

Builds

Built packages

• prover9-doc documentation for Prover9 and associated programs

Package files

• prover9-doc_0.0.200902a-1_all.deb (934.6 KiB)
• prover9-manual_0.0.200902a-1.diff.gz (4.1 KiB)
• prover9-manual_0.0.200902a-1.dsc (1.2 KiB)
• prover9-manual_0.0.200902a.orig.tar.gz (1010.2 KiB)