Back to ladr PTS page

Accepted ladr 0.0.200712-2 (source i386)



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.7
Date: Sun, 10 Feb 2008 20:34:47 +0000
Source: ladr
Binary: libladr-dev libladr4 prover9 ladr4-apps
Architecture: source i386
Version: 0.0.200712-2
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.200712-2) unstable; urgency=low
 .
   * debian/ladr4-apps.links: symlink usr/share/man/man1/prover9-mace4.1.gz
     removed, as it does not refer to an installed application and conflicts
     with the prover9-mace4 package
Files: 
 53ad1cac099eb12587adf45b50bdc356 730 math optional ladr_0.0.200712-2.dsc
 57ca318f1bf0faaf1907176a71f2e1be 20569 math optional ladr_0.0.200712-2.diff.gz
 2d612380c49d8a82009e2743b2a0c206 325556 libdevel optional libladr-dev_0.0.200712-2_i386.deb
 dd97eefd28225558a3139ef7287f88cd 196642 libs optional libladr4_0.0.200712-2_i386.deb
 e19d9d029fe87a239f9fda2bc2405a23 104498 math optional prover9_0.0.200712-2_i386.deb
 ae5433198c5f2567ac8007b34beb9a63 303120 math optional ladr4-apps_0.0.200712-2_i386.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)

iD8DBQFHr2xTBnqtBMk7/3kRAniLAJ9U18HTeziAvajePArApWX7gMTxlgCeJ1km
uuTMxODHpLQjlNiLVdwNq4k=
=Kaz9
-----END PGP SIGNATURE-----


Accepted:
ladr4-apps_0.0.200712-2_i386.deb
  to pool/main/l/ladr/ladr4-apps_0.0.200712-2_i386.deb
ladr_0.0.200712-2.diff.gz
  to pool/main/l/ladr/ladr_0.0.200712-2.diff.gz
ladr_0.0.200712-2.dsc
  to pool/main/l/ladr/ladr_0.0.200712-2.dsc
libladr-dev_0.0.200712-2_i386.deb
  to pool/main/l/ladr/libladr-dev_0.0.200712-2_i386.deb
libladr4_0.0.200712-2_i386.deb
  to pool/main/l/ladr/libladr4_0.0.200712-2_i386.deb
prover9_0.0.200712-2_i386.deb
  to pool/main/l/ladr/prover9_0.0.200712-2_i386.deb