-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Mon, 12 May 2008 18:07:55 +0100
Source: ladr
Binary: libladr-dev libladr4 prover9 ladr4-apps
Architecture: source amd64
Version: 0.0.200805a-1
Distribution: unstable
Urgency: low
Maintainer: Peter Collingbourne <pcc03@doc.ic.ac.uk>
Changed-By: Peter Collingbourne <pcc03@doc.ic.ac.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
Changes:
ladr (0.0.200805a-1) unstable; urgency=low
.
* New upstream release.
* debian/libladr4.symbols: added new symbols
* debian/control
- updated for new prover9-doc
- added DM-Upload-Allowed: yes
* debian/copyright: give correct license information
Checksums-Sha1:
3cfbfe177eeb8e7eb16f67c525726b2c13eb4a54 1148 ladr_0.0.200805a-1.dsc
193c94f5bf7bb238c53e1cf8cc8d20a9ba44006d 1659880 ladr_0.0.200805a.orig.tar.gz
4ee1d9cc4a175f9dd890f91445a0b96cc1ad358d 20571 ladr_0.0.200805a-1.diff.gz
7cc5a76c5d90930a144ada33ca2bf1918dad2261 376296 libladr-dev_0.0.200805a-1_amd64.deb
80a440339359206ab7202e4772185422018fea55 219602 libladr4_0.0.200805a-1_amd64.deb
616afe15a9a507e764d9f8e18c842260e36205c9 117242 prover9_0.0.200805a-1_amd64.deb
ad518d46efa0cf5990eba9724414d92011a8c795 354830 ladr4-apps_0.0.200805a-1_amd64.deb
Checksums-Sha256:
b99d12ae49f0091807c1cf4ff7bd0462e0855d5a0cc46dc2519808ba635d8e95 1148 ladr_0.0.200805a-1.dsc
fecc6e308e7eac8102bb2056455c380f58773140572e171aa59288cb5f266aba 1659880 ladr_0.0.200805a.orig.tar.gz
b1cf2196a8efead80774da9fa67fd2fe5ddac9b17b217174154273dd282c33ce 20571 ladr_0.0.200805a-1.diff.gz
9818e1d434dec0d4d39d9640659157611146ccc4f953b3a5c663e701945014a9 376296 libladr-dev_0.0.200805a-1_amd64.deb
3cab271291a1d2eef20e049195db93d46c0b2985767533a4f2ec98145e508226 219602 libladr4_0.0.200805a-1_amd64.deb
d411e8dbf5f5b208e7e15ca94c6840e2d44ab0fc74c2b5604970e11c784d3041 117242 prover9_0.0.200805a-1_amd64.deb
3e5d48f421eb1bedd04cb25f16503735c42b1b92c951c2d6416c982a2bdc0eeb 354830 ladr4-apps_0.0.200805a-1_amd64.deb
Files:
da12457f7aca29f4628adff46bce8d01 1148 math optional ladr_0.0.200805a-1.dsc
73cba4f17bee85f85c579a7dd8c7f099 1659880 math optional ladr_0.0.200805a.orig.tar.gz
927ae347695eb81a9d8f2d96b4cce101 20571 math optional ladr_0.0.200805a-1.diff.gz
a4d9b0e550012a4898addba92a69a74e 376296 libdevel optional libladr-dev_0.0.200805a-1_amd64.deb
6f3f772b07d7d1565d6991ed6d3b0218 219602 libs optional libladr4_0.0.200805a-1_amd64.deb
5f4cab1a63f3147741c2a9ed3d5c141f 117242 math optional prover9_0.0.200805a-1_amd64.deb
742e2c099f7c6254302d173b725b4c3a 354830 math optional ladr4-apps_0.0.200805a-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFIPbszBnqtBMk7/3kRAlD0AJ4x8WJWri0UA3bqvBjAnORh4H4dvgCdEG8F
baJi6dXzPko/gerQi8qgeLg=
=dUm0
-----END PGP SIGNATURE-----
Accepted:
ladr4-apps_0.0.200805a-1_amd64.deb
to pool/main/l/ladr/ladr4-apps_0.0.200805a-1_amd64.deb
ladr_0.0.200805a-1.diff.gz
to pool/main/l/ladr/ladr_0.0.200805a-1.diff.gz
ladr_0.0.200805a-1.dsc
to pool/main/l/ladr/ladr_0.0.200805a-1.dsc
ladr_0.0.200805a.orig.tar.gz
to pool/main/l/ladr/ladr_0.0.200805a.orig.tar.gz
libladr-dev_0.0.200805a-1_amd64.deb
to pool/main/l/ladr/libladr-dev_0.0.200805a-1_amd64.deb
libladr4_0.0.200805a-1_amd64.deb
to pool/main/l/ladr/libladr4_0.0.200805a-1_amd64.deb
prover9_0.0.200805a-1_amd64.deb
to pool/main/l/ladr/prover9_0.0.200805a-1_amd64.deb
