Comment 3 for bug 369468

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 <email address hidden> Wed, 29 Apr 2009 21:09:20 +0200