[Bug 369468] Re: Please merge ladr_0.0.200902a-1 (universe) from Debian (unstable)
Launchpad Bug Tracker
369468 at bugs.launchpad.net
Thu Apr 30 09:20:07 UTC 2009
This bug was fixed in the package ladr - 0.0.200902a-1ubuntu1
---------------
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 <stefan at lsd.co.za> Wed, 29 Apr 2009 21:09:20 +0200
** Changed in: ladr (Ubuntu)
Status: New => Fix Released
--
Please merge ladr_0.0.200902a-1 (universe) from Debian (unstable)
https://bugs.launchpad.net/bugs/369468
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing list
ubuntu-bugs at lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
More information about the universe-bugs
mailing list