Back to ladr PTS page

Accepted ladr 0.0.200805a-1 (source amd64)



-----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