ladr 0.0.200806a-1 source package in Ubuntu
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 -- Ubuntu Archive Auto-Sync <email address hidden> Fri, 04 Jul 2008 08:44:08 +0100
Upload details
- Uploaded by:
- Ubuntu Archive Auto-Sync
- Uploaded to:
- Intrepid
- Original maintainer:
- Peter Collingbourne
- Architectures:
- any
- Section:
- math
- Urgency:
- Low Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
ladr_0.0.200806a.orig.tar.gz | 1.6 MiB | ecec73862c1cf50dbde969d41dabf427535517db80dff8f99e0383f05355c0a7 |
ladr_0.0.200806a-1.diff.gz | 20.2 KiB | ed9768220de7a9067b5660d898b68af35e94d31bc0861b5a73332828e17ba1bf |
ladr_0.0.200806a-1.dsc | 1.1 KiB | 621b8b09d4c3bf39711149ac747c9170b6580b85ffb08ead112851bcd3bf27fa |
Available diffs
- diff from 0.0.200805a-1 to 0.0.200806a-1 (32.1 KiB)
Binary packages built by this source
- ladr4-apps: No summary available for ladr4-apps in ubuntu jaunty.
No description available for ladr4-apps in ubuntu jaunty.
- libladr-dev: No summary available for libladr-dev in ubuntu jaunty.
No description available for libladr-dev in ubuntu jaunty.
- libladr4: No summary available for libladr4 in ubuntu jaunty.
No description available for libladr4 in ubuntu jaunty.
- prover9: No summary available for prover9 in ubuntu intrepid.
No description available for prover9 in ubuntu intrepid.