ladr 0.0.200806a-1 source package in Debian
Changelog
ladr (0.0.200806a-1) unstable; urgency=low * New upstream release. * debian/patches/01-libtoolise.dpatch: new source file weight2.c * debian/libladr4.symbols: updated * debian/control: new Standards-Version, updated for new prover9-doc * debian/prooftrans.1: documented new tagged format -- Peter Collingbourne <email address hidden> Sun, 29 Jun 2008 03:23:16 +0100
Upload details
- Uploaded by:
- Peter Collingbourne
- Uploaded to:
- Lenny
- Original maintainer:
- Peter Collingbourne
- Architectures:
- any
- Section:
- math
- Urgency:
- Low Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Lenny | release | main | math |
Builds
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
ladr_0.0.200806a-1.dsc | 1.1 KiB | 621b8b09d4c3bf39711149ac747c9170b6580b85ffb08ead112851bcd3bf27fa |
ladr_0.0.200806a.orig.tar.gz | 1.6 MiB | ecec73862c1cf50dbde969d41dabf427535517db80dff8f99e0383f05355c0a7 |
ladr_0.0.200806a-1.diff.gz | 20.2 KiB | ed9768220de7a9067b5660d898b68af35e94d31bc0861b5a73332828e17ba1bf |
No changes file available.