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