-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sun, 03 May 2009 18:07:07 +0100 Source: ladr Binary: libladr-dev libladr4 prover9 ladr4-apps Architecture: source amd64 Version: 0.0.200902a-2 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne <peter@pcc.me.uk> 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: cc6c298404cae53e2f38fea74890bd14d1d7a9b9 1161 ladr_0.0.200902a-2.dsc 01e970c80e5fb96763a0150901701cb6f4effa7b 17239 ladr_0.0.200902a-2.diff.gz 3ddacab511c802b9911ea8cf9100893525b61475 400942 libladr-dev_0.0.200902a-2_amd64.deb 4a35a41f7a14996d29af99ba6a0c6dc01d20bee8 238708 libladr4_0.0.200902a-2_amd64.deb ac76600af1e433d74c7c5f0c2b65343384b10928 127580 prover9_0.0.200902a-2_amd64.deb 1af5cc9739c3697682294c0f6f1862429ee0c14f 369898 ladr4-apps_0.0.200902a-2_amd64.deb Checksums-Sha256: 07dc2d22ad6db40c2b9288377419853575e62cb47eba5fd0cf04d95a2faf6034 1161 ladr_0.0.200902a-2.dsc db7426412cb21e718e8f46fe46d47c2ded747dac4a6da51183a4477a212ebc0a 17239 ladr_0.0.200902a-2.diff.gz 61c0c98716a90074aca7b1b76bdfaef131e2a9062a71cd9af1433aab88e2cf19 400942 libladr-dev_0.0.200902a-2_amd64.deb 1a27b3dbb36e8614e6ba8a0baa84c08e19bb5641f4eb184e0ca62f659e38cd0a 238708 libladr4_0.0.200902a-2_amd64.deb ebccca6c947dd7f8e0b8f4a661b8e3394c1fc690c823dc089416174711a730e4 127580 prover9_0.0.200902a-2_amd64.deb e4edda87abafc8c69793e36bcdeb4dd7a33f1fffa0f928811ffaeb7687cb1364 369898 ladr4-apps_0.0.200902a-2_amd64.deb Files: 2df00e8e081c7d55e692a1cf1780aa64 1161 math optional ladr_0.0.200902a-2.dsc 5a780276344a55e8396a799a56b8fe93 17239 math optional ladr_0.0.200902a-2.diff.gz a48a9369ee79f6927f52ffa5742a5026 400942 libdevel optional libladr-dev_0.0.200902a-2_amd64.deb bec5eea774ea42de40e38b89fc47b256 238708 libs optional libladr4_0.0.200902a-2_amd64.deb f826f2d4a956f406c95fc22d04756fcd 127580 math optional prover9_0.0.200902a-2_amd64.deb f73d87432e9e7977d673cffbc18b36e8 369898 math optional ladr4-apps_0.0.200902a-2_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAkn91BYACgkQXDqn6DSH7HGaLQCgiCsJ0nfFN8C2u4m/W4aGrpGW FYkAnjhztY3YY9uYXzSTpzrWWODXY+1R =Npk1 -----END PGP SIGNATURE----- Accepted: ladr4-apps_0.0.200902a-2_amd64.deb to pool/main/l/ladr/ladr4-apps_0.0.200902a-2_amd64.deb ladr_0.0.200902a-2.diff.gz to pool/main/l/ladr/ladr_0.0.200902a-2.diff.gz ladr_0.0.200902a-2.dsc to pool/main/l/ladr/ladr_0.0.200902a-2.dsc libladr-dev_0.0.200902a-2_amd64.deb to pool/main/l/ladr/libladr-dev_0.0.200902a-2_amd64.deb libladr4_0.0.200902a-2_amd64.deb to pool/main/l/ladr/libladr4_0.0.200902a-2_amd64.deb prover9_0.0.200902a-2_amd64.deb to pool/main/l/ladr/prover9_0.0.200902a-2_amd64.deb
