ladr 0.0.200902a-1ubuntu1 source package in Ubuntu
Changelog
ladr (0.0.200902a-1ubuntu1) karmic; urgency=low * Merge from debian unstable, remaining changes: (LP: #369468) - Drop -shared from the libtool command to make libladr.la in debian/patches/01-libtoolise.dpatch so that both the shared and static libraries are built. The .install file tries to install both, and if -shared is passed the .a isn't built and the package fails to build. This appears to be a change in libtool behaviour. ladr (0.0.200902a-1) unstable; urgency=low * New upstream release. * debian/control: updated for new prover9-doc * debian/ladr4-apps.install, debian/ladr4-apps.links: new application complex, removed application rewriter2 * debian/libladr4.symbols: updated * debian/control: new Standards-Version -- Stefan Lesicnik <email address hidden> Wed, 29 Apr 2009 21:09:20 +0200
Upload details
- Uploaded by:
- Stefan Lesicnik
- Sponsored by:
- Daniel Holbach
- Uploaded to:
- Karmic
- Original maintainer:
- MOTU
- 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.200902a.orig.tar.gz | 1.9 MiB | 3043a93f8339928bf4d839b92c7dc204011cc3d9e7adc719a23da8262c2bb95a |
ladr_0.0.200902a-1ubuntu1.diff.gz | 17.7 KiB | cad5efd60596f1cdaf05367fe9e47d6d30997b98239b1e58cad8d76a79d28524 |
ladr_0.0.200902a-1ubuntu1.dsc | 1.2 KiB | 37823df4210e537c4d9828e87ecb5753e022a6997935b3d2cc34aa865806c7ed |
Available diffs
Binary packages built by this source
- ladr4-apps: No summary available for ladr4-apps in ubuntu karmic.
No description available for ladr4-apps in ubuntu karmic.
- libladr-dev: No summary available for libladr-dev in ubuntu karmic.
No description available for libladr-dev in ubuntu karmic.
- libladr4: No summary available for libladr4 in ubuntu karmic.
No description available for libladr4 in ubuntu karmic.
- prover9: No summary available for prover9 in ubuntu karmic.
No description available for prover9 in ubuntu karmic.