[Bug 369468] [NEW] Please merge ladr_0.0.200902a-1 (universe) from Debian (unstable)

[Launchpad Bug Tracker]

You have been subscribed to a public bug by Stefan Lesicnik (stefanlsd):

ladr (0.0.200902a-1ubuntu1) karmic; urgency=low

  * Merge from debian unstable, remaining changes:
    - 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.

 -- Stefan Lesicnik <stefan at lsd.co.za>  Wed, 29 Apr 2009 21:09:20 +0200

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

 -- Peter Collingbourne <peter at pcc.me.uk>  Sat, 14 Mar 2009 23:55:22
+0000

** Affects: ladr (Ubuntu)
     Importance: Undecided
         Status: New

-- 
Please merge ladr_0.0.200902a-1 (universe) from Debian (unstable)
https://bugs.edge.launchpad.net/bugs/369468
You received this bug notification because you are a member of Ubuntu Sponsors for universe, which is a direct subscriber.