-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sun, 08 Jan 2012 10:10:29 +0900 Source: ladr Binary: libladr-dev libladr4 prover9 ladr4-apps Architecture: source amd64 Version: 0.0.200902a-2.1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne <peter@pcc.me.uk> Changed-By: Hideki Yamane <henrich@debian.org> 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: 555074 Changes: ladr (0.0.200902a-2.1) unstable; urgency=low . * Non-maintainer upload. * debian/patches/01-libtoolise.dpatch - it drops -lm but it is needed for binutils-gold (Closes: #555074) Checksums-Sha1: 55089824ed1d97a1eff12ffe4a466671f24d230a 1945 ladr_0.0.200902a-2.1.dsc 5bc089d5c95c706a097ba6722c74691387045abe 18079 ladr_0.0.200902a-2.1.diff.gz 9e2c9dc0afad12ed41ae8fe69a68df6751dcb29d 407778 libladr-dev_0.0.200902a-2.1_amd64.deb a4e6eafea2c30a275c3446dd86bcc15586876d80 245148 libladr4_0.0.200902a-2.1_amd64.deb 3288bb23b96dbcb2640deebf4f0e70751bd7784a 128490 prover9_0.0.200902a-2.1_amd64.deb 52e06eba976d1fdee11f868178d9d9eb5f531095 370720 ladr4-apps_0.0.200902a-2.1_amd64.deb Checksums-Sha256: a7f0e0575f47f7fc14a0471882da031f8f78c851aa08e4ae7ebee747ce920da4 1945 ladr_0.0.200902a-2.1.dsc ff3c2a9382f836c206f19e226e795cf65d5ddfe413a9f9c8da937aac1f966d38 18079 ladr_0.0.200902a-2.1.diff.gz 70d906eeed8bacc175f737ac05a027d70c2fac6042ea458b47b53d8510b83105 407778 libladr-dev_0.0.200902a-2.1_amd64.deb 3225df9f9b7cf2454c08aa74ab72dbad31b546801ddbf05b086c14900a9bb468 245148 libladr4_0.0.200902a-2.1_amd64.deb cbc9476b431a04655f8dd4d882dec8ed6c79b86a12c8ac4c1f0e909e3807557b 128490 prover9_0.0.200902a-2.1_amd64.deb b25149b90cf9200ddf0670325199b7468f0d6a41296a5275db4017b5e9b6308d 370720 ladr4-apps_0.0.200902a-2.1_amd64.deb Files: e8951dc61e16d5c795744079b8b7aa64 1945 math optional ladr_0.0.200902a-2.1.dsc 41d4744a4ef936a23d563adecf1dcf42 18079 math optional ladr_0.0.200902a-2.1.diff.gz 6e05b32817631c5063ab11aad6cb7bac 407778 libdevel optional libladr-dev_0.0.200902a-2.1_amd64.deb d1e926df96e84966312e2c2d1c7c17ba 245148 libs optional libladr4_0.0.200902a-2.1_amd64.deb 84b7a3242903cbbd19ec26f15255c008 128490 math optional prover9_0.0.200902a-2.1_amd64.deb d9a2337999c2e7089677d6d1f775eb18 370720 math optional ladr4-apps_0.0.200902a-2.1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iQIcBAEBCgAGBQJPCO5sAAoJEF0yjQgqqrFAETQP/jpoilpRuV8m/fJtiIZ0jFTy yXbnq1fqE9Eov5Oljgt2QUwtxY9UDYjwVtaILtpBEftgFW+9AhzE1Joa7/Lk4BKN 927WLugv3uQCrhVNvGcuNiE9W5S1FLfXy2Uuu/bybI66dNXCr1cHbBF3aIOc8LXS sZZDfszLZSYlLmXSm+T4zh9uBOYJH3IvbXSOE56kDoF0L1IXbFsbND9Rwt/neFw3 60VWO7Yp2Zlvc0KXkmPJvFw+IFy/My3e5LNvXG61uJp7dgSY6sdi/EFUmIQlPMD0 8BOrIwlW/ysrDhjxINGEX7Nvi+aYEeVf833DK7477SpbgqjKwWSKQ1NPymGWxUl6 KO0ybQ+xsmdK7Al7Us79F94JRDToFktrmiMAJ6mFYiAxbd7EDFCdkv0+U8auJcW7 fBNTXli3P1iixSLvgWblet74iWH2JLtMPzvLy0QfNsfY53+szUaBGT3mzIeBSMi6 CCBjDBA3i61pR6MDaWZcTw+OEeqEul8OGy/MoQllW91bdOtqcIW2la1/KA4C8SgV ucdKA3cWR8yopg2xKqVrsE9FB5+mKwuam7BnXNDCVxmoQ8waxvAycskv4bWmLp17 vEet5UAPcyvoDoJ3sxdCAJmEZepxHqMGqcSTgWO2i7eJCv1Ye+GTGrdg/DuMkSVy vjjZRWz/n9tfpxbxMjZ+ =2lKW -----END PGP SIGNATURE----- Accepted: ladr4-apps_0.0.200902a-2.1_amd64.deb to main/l/ladr/ladr4-apps_0.0.200902a-2.1_amd64.deb ladr_0.0.200902a-2.1.diff.gz to main/l/ladr/ladr_0.0.200902a-2.1.diff.gz ladr_0.0.200902a-2.1.dsc to main/l/ladr/ladr_0.0.200902a-2.1.dsc libladr-dev_0.0.200902a-2.1_amd64.deb to main/l/ladr/libladr-dev_0.0.200902a-2.1_amd64.deb libladr4_0.0.200902a-2.1_amd64.deb to main/l/ladr/libladr4_0.0.200902a-2.1_amd64.deb prover9_0.0.200902a-2.1_amd64.deb to main/l/ladr/prover9_0.0.200902a-2.1_amd64.deb
