prover9-manual 0.0.200902a-1 source package in Debian
Changelog
prover9-manual (0.0.200902a-1) unstable; urgency=low * New upstream release. * debian/examples: updated * debian/control: new Standards-Version -- Peter Collingbourne <email address hidden> Sun, 15 Mar 2009 00:53:52 +0000
Upload details
- Uploaded by:
- Peter Collingbourne
- Uploaded to:
- Sid
- Original maintainer:
- Peter Collingbourne
- Architectures:
- all
- Section:
- doc
- Urgency:
- Low Urgency
See full publishing history Publishing
| Series | Published | Component | Section | |
|---|---|---|---|---|
| Wheezy | release | main | doc | |
| Squeeze | release | main | doc |
Builds
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| prover9-manual_0.0.200902a-1.dsc | 1.2 KiB | c4412b363581d9511d28036729ee8acde0f2e3fb30d3b834da56fe64788f505c |
| prover9-manual_0.0.200902a.orig.tar.gz | 1010.2 KiB | 8d049695b3927743e90bf5ed6db3282e7a8a05de6e95dcc1d5792ce763e793a5 |
| prover9-manual_0.0.200902a-1.diff.gz | 4.1 KiB | 0d14cb86876ecb20bdcbe1fad98f288a9dd7d46629ff24a7340ef4fa2deeefcf |
No changes file available.
