Accepted ladr 0.0.200902a-2.1 (source amd64)
-----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