-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sat, 13 Sep 2008 21:23:58 +0100
Source: ladr
Binary: libladr-dev libladr4 prover9 ladr4-apps
Architecture: source i386
Version: 0.0.200809a-1
Distribution: unstable
Urgency: low
Maintainer: Peter Collingbourne <peter@peter.uk.to>
Changed-By: Peter Collingbourne <peter@peter.uk.to>
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
Changes:
ladr (0.0.200809a-1) unstable; urgency=low
.
* New upstream release.
* debian/patches/01-libtoolise.dpatch: new programmatic patch script,
original version by Heinz Wiesinger <pprkut@liwjatan.at>
* debian/control: updated for new prover9-doc
* debian/libladr4.symbols: updated
* debian/clausefilter.1, debian/clausetester.1, debian/control,
debian/copyright, debian/interpfilter.1, debian/interpformat.1,
debian/isofilter.1, debian/ladr4-apps.1,
debian/ladr4-apps.README.Debian, debian/mace4.1,
debian/prooftrans.1, debian/prover9.1, debian/rewriter.1: changed
maintainer email address
Checksums-Sha1:
ad54f29c36304f930ca4167a6a73da13bc0e872c 1147 ladr_0.0.200809a-1.dsc
c12b1f1171481e0428a693f930779bd1081fac77 1754108 ladr_0.0.200809a.orig.tar.gz
c9a4b0b8df25605264a23eb1de9645f84f29df9a 16945 ladr_0.0.200809a-1.diff.gz
14ae4866b46dc4c8d549187bd41d40a26ed7474e 343492 libladr-dev_0.0.200809a-1_i386.deb
0f33287af8562661fed990e780ef63189cd51184 210824 libladr4_0.0.200809a-1_i386.deb
d66186ce730bb2c0ab84176b936bd83b7868b8b8 112366 prover9_0.0.200809a-1_i386.deb
a7bd168dd4524ebb3bfc0f03acad78d5c2f9b5ae 332394 ladr4-apps_0.0.200809a-1_i386.deb
Checksums-Sha256:
707b6365736ed07d28c62010845c05a1fe14207576208886cf194181ca9cf714 1147 ladr_0.0.200809a-1.dsc
bd5ddd45c23075e52ff9884933069a22f34acd780600ccdba61dae5a857db64f 1754108 ladr_0.0.200809a.orig.tar.gz
062a9a00b0bad10cc0266ba0b838aca220394391a37d743647a0a52fe5793887 16945 ladr_0.0.200809a-1.diff.gz
8443f45a780d6840eccfa736d82870ffed9576f416a5822808a0228de22ea18b 343492 libladr-dev_0.0.200809a-1_i386.deb
7a10da71c8a1c65789292aecbf7548d635ef10b3badead4cfdf086ef0babf0d5 210824 libladr4_0.0.200809a-1_i386.deb
dedd1b4b89c0b13c5082623be44bcf1d61295c725a92f518b637fa6f130abd77 112366 prover9_0.0.200809a-1_i386.deb
079b2e7f357da5e6487e5a0b892077c14c171a8b37dbbf9cfd0918f28508528d 332394 ladr4-apps_0.0.200809a-1_i386.deb
Files:
2d20cdfbd246b45766a0a7550adf5c44 1147 math optional ladr_0.0.200809a-1.dsc
96cc67eae8f485c22d01449fd2639dae 1754108 math optional ladr_0.0.200809a.orig.tar.gz
28e0ea277a6e26765784ad83f746b8af 16945 math optional ladr_0.0.200809a-1.diff.gz
8128a480e0fccf861543593e2a3acd51 343492 libdevel optional libladr-dev_0.0.200809a-1_i386.deb
8d722e8134db09f8fd926907b65f4908 210824 libs optional libladr4_0.0.200809a-1_i386.deb
c07297e639abed1148d88c553f8ed5cf 112366 math optional prover9_0.0.200809a-1_i386.deb
43302a2c551960d8021d05ebff62b4ff 332394 math optional ladr4-apps_0.0.200809a-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFIzIKbXDqn6DSH7HERArfQAJ9zDLTtVMk6YO0iYxX2qB93DI3MOQCfew7H
fjR2EUVWUOPrFtA8xckg6ic=
=Zpx+
-----END PGP SIGNATURE-----
Accepted:
ladr4-apps_0.0.200809a-1_i386.deb
to pool/main/l/ladr/ladr4-apps_0.0.200809a-1_i386.deb
ladr_0.0.200809a-1.diff.gz
to pool/main/l/ladr/ladr_0.0.200809a-1.diff.gz
ladr_0.0.200809a-1.dsc
to pool/main/l/ladr/ladr_0.0.200809a-1.dsc
ladr_0.0.200809a.orig.tar.gz
to pool/main/l/ladr/ladr_0.0.200809a.orig.tar.gz
libladr-dev_0.0.200809a-1_i386.deb
to pool/main/l/ladr/libladr-dev_0.0.200809a-1_i386.deb
libladr4_0.0.200809a-1_i386.deb
to pool/main/l/ladr/libladr4_0.0.200809a-1_i386.deb
prover9_0.0.200809a-1_i386.deb
to pool/main/l/ladr/prover9_0.0.200809a-1_i386.deb
