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 | Published | Component | Section | |
---|---|---|---|---|
Precise | release | universe | doc |
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
- diff from 0.0.200809a-1 to 0.0.200902a-1 (163.8 KiB)
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.