Ubuntu
prover9-manual package

prover9-manual 0.0.200902a-1 source package in 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

Upload details

Uploaded by:
Ubuntu Archive Auto-Sync
Uploaded to:
Karmic
Original maintainer:
Peter Collingbourne
Architectures:
all
Section:
doc
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Precise release universe doc

Builds

Karmic: [FULLYBUILT] i386

Downloads

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

Available diffs

View changes file

Binary packages built by this source

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

No description available for prover9-doc in ubuntu saucy.