[ubuntu/karmic] ladr 0.0.200902a-1ubuntu1 (Accepted)

Stefan Lesicnik stefan at lsd.co.za
Thu Apr 30 10:20:14 BST 2009


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

Date: Wed, 29 Apr 2009 21:09:20 +0200
Changed-By: Stefan Lesicnik <stefan at lsd.co.za>
Maintainer: Ubuntu MOTU Developers <ubuntu-motu at lists.ubuntu.com>
Signed-By: Daniel Holbach <daniel.holbach at ubuntu.com>
https://launchpad.net/ubuntu/karmic/+source/ladr/0.0.200902a-1ubuntu1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Wed, 29 Apr 2009 21:09:20 +0200
Source: ladr
Binary: libladr-dev libladr4 prover9 ladr4-apps
Architecture: source
Version: 0.0.200902a-1ubuntu1
Distribution: karmic
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: 369468
Changes: 
 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
Checksums-Sha1: 
 500c921aee5b0361ebff7137b16a52fea7401453 1266 ladr_0.0.200902a-1ubuntu1.dsc
 2ce0122f363ff3355bd9a359ec3d183923c2fd41 1970966 ladr_0.0.200902a.orig.tar.gz
 006d915b06dfeeb4c1ff6704d1c7ad3f1b5faa6f 18124 ladr_0.0.200902a-1ubuntu1.diff.gz
Checksums-Sha256: 
 37823df4210e537c4d9828e87ecb5753e022a6997935b3d2cc34aa865806c7ed 1266 ladr_0.0.200902a-1ubuntu1.dsc
 3043a93f8339928bf4d839b92c7dc204011cc3d9e7adc719a23da8262c2bb95a 1970966 ladr_0.0.200902a.orig.tar.gz
 cad5efd60596f1cdaf05367fe9e47d6d30997b98239b1e58cad8d76a79d28524 18124 ladr_0.0.200902a-1ubuntu1.diff.gz
Files: 
 d89aebaef3b8bb56a3d60d34152b279e 1266 math optional ladr_0.0.200902a-1ubuntu1.dsc
 f37a5304737ea2b14caf90d0a784964e 1970966 math optional ladr_0.0.200902a.orig.tar.gz
 a5afbbca2723ef668990cf6b94db9134 18124 math optional ladr_0.0.200902a-1ubuntu1.diff.gz
Original-Maintainer: Peter Collingbourne <peter at peter.uk.to>

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

iEYEARECAAYFAkn5bGUACgkQRjrlnQWd1euyZwCfUbfEqIyAzxag/m5F3iUioXSK
sd0An2D9GyHQievGbSz0XGSFg7C8URyw
=rYnp
-----END PGP SIGNATURE-----


More information about the Karmic-changes mailing list