prover9-manual 0.0.200809a-1 source package in Ubuntu
Changelog
prover9-manual (0.0.200809a-1) unstable; urgency=low * New upstream release. * debian/control, debian/copyright: changed maintainer email address -- Ubuntu Archive Auto-Sync <email address hidden> Wed, 05 Nov 2008 10:46:16 +0000
Upload details
- Uploaded by:
- Ubuntu Archive Auto-Sync
- Uploaded to:
- Jaunty
- Original maintainer:
- Peter Collingbourne
- Architectures:
- all
- Section:
- doc
- Urgency:
- Low Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
prover9-manual_0.0.200809a.orig.tar.gz | 854.1 KiB | e34dfe98c6625e62b521b08ae247e0649ab5f674954763fcb413f1a0e8353706 |
prover9-manual_0.0.200809a-1.diff.gz | 3.9 KiB | a31c2aec895f474bcc404a4c159e99d30a59497dcb8e9c6f642eb26235cb29b4 |
prover9-manual_0.0.200809a-1.dsc | 1.2 KiB | 0e10063b1d01df8012b5217a4cc2876f244b9a75c4e695f5fdaf025539871535 |
Available diffs
- diff from 0.0.200806a-1 to 0.0.200809a-1 (14.5 KiB)
Binary packages built by this source
- prover9-doc: No summary available for prover9-doc in ubuntu karmic.
No description available for prover9-doc in ubuntu karmic.