Format: 1.8
Date: Sun, 03 May 2009 18:07:07 +0100
Source: ladr
Binary: libladr-dev libladr4 prover9 ladr4-apps
Architecture: interix-i386
Version: 0.0.200902a-2
Distribution: unstable
Urgency: low
Maintainer: Martin Koeppe <mkoeppe@gmx.de>
Changed-By: Peter Collingbourne <peter@pcc.me.uk>
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
Closes: 526541
Changes: 
 ladr (0.0.200902a-2) unstable; urgency=low
 .
   * Merged from Ubuntu, fixes FTBFS (closes: #526541)
     - 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: 
 0146c2e1c4e7eedeff266de5af3f089899fa0cd3 344750 libladr-dev_0.0.200902a-2_interix-i386.deb
 cc317a3853d2a8d2a1ed785f12afa64209a16594 185310 libladr4_0.0.200902a-2_interix-i386.deb
 fc4538500e6eaa7d97bdfbd494e7fbb967ee70ec 115710 prover9_0.0.200902a-2_interix-i386.deb
 057c487512c1eb795a555a54ecc4b3ad2412f5a1 333446 ladr4-apps_0.0.200902a-2_interix-i386.deb
Checksums-Sha256: 
 b9d3f7d02fb5b23d93da7f334cc31c0ed1a322072f87ec3b6ec6bf3529dfd15f 344750 libladr-dev_0.0.200902a-2_interix-i386.deb
 b9d7edc3369031a2ea831e10b000cf020eca80c45503f4c1a6b0bdc66a3ed018 185310 libladr4_0.0.200902a-2_interix-i386.deb
 b25ae5b9e631dbda958538ee062ab7f190cba8dd0e3f793090afad9da3d4593f 115710 prover9_0.0.200902a-2_interix-i386.deb
 570e23d559fcb5e0595b1acaf755043584eeb7d23e9638a18505f52a7a8478a1 333446 ladr4-apps_0.0.200902a-2_interix-i386.deb
Files: 
 d59f27b47505fc8d5be011b75ddde0e4 344750 libdevel optional libladr-dev_0.0.200902a-2_interix-i386.deb
 a0571a4bd86960a0c95b1f09b2c6a9c5 185310 libs optional libladr4_0.0.200902a-2_interix-i386.deb
 addb51f58d65e7fdd4adee6e9cdbed7d 115710 math optional prover9_0.0.200902a-2_interix-i386.deb
 f01f94b3732c08d43754f22c66625e24 333446 math optional ladr4-apps_0.0.200902a-2_interix-i386.deb