[ubuntu/jaunty] ladr 0.0.200811a-1ubuntu1 (Accepted)

Stefan Lesicnik stefan at lsd.co.za
Thu Feb 19 00:10:20 GMT 2009


ladr (0.0.200811a-1ubuntu1) jaunty; urgency=low

  * Merge from debian unstable, remaining changes: (LP: #331176)
    - 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.

Date: Wed, 18 Feb 2009 21:23:27 +0200
Changed-By: Stefan Lesicnik <stefan at lsd.co.za>
Maintainer: Ubuntu MOTU Developers <ubuntu-motu at lists.ubuntu.com>
Signed-By: Iain Lane <launchpad at orangesquash.org.uk>
https://launchpad.net/ubuntu/jaunty/+source/ladr/0.0.200811a-1ubuntu1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Wed, 18 Feb 2009 21:23:27 +0200
Source: ladr
Binary: libladr-dev libladr4 prover9 ladr4-apps
Architecture: source
Version: 0.0.200811a-1ubuntu1
Distribution: jaunty
Urgency: low
Maintainer: Ubuntu MOTU Developers <ubuntu-motu at lists.ubuntu.com>
Changed-By: Stefan Lesicnik <stefan at lsd.co.za>
Description: 
 ladr4-apps - the LADR deduction library, miscellaneous applications
 libladr-dev - the LADR deduction library, development files
 libladr4   - the LADR deduction library
 prover9    - theorem prover and countermodel generator
Launchpad-Bugs-Fixed: 331176
Changes: 
 ladr (0.0.200811a-1ubuntu1) jaunty; urgency=low
 .
   * Merge from debian unstable, remaining changes: (LP: #331176)
     - 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.
Checksums-Sha1: 
 f5633a3c92760c45095c06c9d0261968e4f3ad08 1266 ladr_0.0.200811a-1ubuntu1.dsc
 48d5ca2f220f6357e1201c1e91bb1307f06f24f8 1750831 ladr_0.0.200811a.orig.tar.gz
 614157d7dfcb3dc5928e84861d2680edf5e5d0c3 17468 ladr_0.0.200811a-1ubuntu1.diff.gz
Checksums-Sha256: 
 92820f00a80826655d3319ce57b95874064b688450a0d71d961115ce8652ded6 1266 ladr_0.0.200811a-1ubuntu1.dsc
 9c2a3b60d37c29dad924c24ab23d9220c6028234a3a91e1370c0464b691bd745 1750831 ladr_0.0.200811a.orig.tar.gz
 537a7aa426db6a610104160b8de45c3b42b19314e179798d98d6bcf7a2db0cb4 17468 ladr_0.0.200811a-1ubuntu1.diff.gz
Files: 
 bb1516feecc17886b9350fa6191a7398 1266 math optional ladr_0.0.200811a-1ubuntu1.dsc
 10dade1f81da69bc82676f532ad112fa 1750831 math optional ladr_0.0.200811a.orig.tar.gz
 6b0190ce1bb3ab1ca7808cb056589c3d 17468 math optional ladr_0.0.200811a-1ubuntu1.diff.gz
Original-Maintainer: Peter Collingbourne <peter at peter.uk.to>

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)

iEYEARECAAYFAkmcougACgkQPy0SnCC/zcd5TACg0OkS6VBDfSoLEWaBwuLdodqI
vZQAoJqLdKtswKtopQWJXZvBdpW/wqcz
=Q5V4
-----END PGP SIGNATURE-----


More information about the Jaunty-changes mailing list