prover9-manual 0.0.200806a-1 source package in Ubuntu
Changelog
prover9-manual (0.0.200806a-1) unstable; urgency=low * New upstream release. * debian/control: new Standards-Version -- Ubuntu Archive Auto-Sync <email address hidden> Fri, 04 Jul 2008 08:44:48 +0100
Upload details
- Uploaded by:
- Ubuntu Archive Auto-Sync
- Uploaded to:
- Intrepid
- 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.200806a.orig.tar.gz | 858.4 KiB | 348b6bdbc6fb723c3f07e281002fde31a87affed62d678bd9cba04fd15ace093 |
prover9-manual_0.0.200806a-1.diff.gz | 3.8 KiB | 0e499c9ed918711b032279c21c790233cb8f95f9b7581a27ab336a43603ba53f |
prover9-manual_0.0.200806a-1.dsc | 1.2 KiB | fa3e2488e9f6e6926cb80a565972b87df775e6d1310477b244a2d551420dc1c5 |
Available diffs
- diff from 0.0.200805a-1 to 0.0.200806a-1 (25.2 KiB)
Binary packages built by this source
- prover9-doc: No summary available for prover9-doc in ubuntu jaunty.
No description available for prover9-doc in ubuntu jaunty.