Accepted ladr 0.0.200712-1 (source i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Tue, 22 Jan 2008 17:39:05 +0000
Source: ladr
Binary: libladr-dev libladr4 prover9 ladr4-apps
Architecture: source i386
Version: 0.0.200712-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
Closes: 437936
Changes:
ladr (0.0.200712-1) unstable; urgency=low
.
* Initial release (Closes: #437936)
* Fixed and libtoolized Makefiles
* Wrote man pages
* utilities/get_givens, utilities/get_interps, utilities/get_kept:
now use Bourne shell to avoid unneccessary dependencies
Files:
5a698c766b64072234503edba439e5cf 730 math optional ladr_0.0.200712-1.dsc
6e2896ed4cce4556bfcc321778df5dfe 1787225 math optional ladr_0.0.200712.orig.tar.gz
d1534198bae410f26aa02e2a848231df 20485 math optional ladr_0.0.200712-1.diff.gz
cc4434b9e2fff47f7a6d231297413cfa 325370 libdevel optional libladr-dev_0.0.200712-1_i386.deb
7457577278dd42e51be68b153614f936 196470 libs optional libladr4_0.0.200712-1_i386.deb
351bd1195fb7684cda2748da62a97062 104344 math optional prover9_0.0.200712-1_i386.deb
d38a5202290ddf83a779dee0b1c4cb1f 302986 math optional ladr4-apps_0.0.200712-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFHp1c9BnqtBMk7/3kRAmkJAKCo8e7Dy+Bf22UoukmAx6938XhCsACfW9rT
mn7K4l972xOtgTi+EQW50/Q=
=e+tk
-----END PGP SIGNATURE-----
Accepted:
ladr4-apps_0.0.200712-1_i386.deb
to pool/main/l/ladr/ladr4-apps_0.0.200712-1_i386.deb
ladr_0.0.200712-1.diff.gz
to pool/main/l/ladr/ladr_0.0.200712-1.diff.gz
ladr_0.0.200712-1.dsc
to pool/main/l/ladr/ladr_0.0.200712-1.dsc
ladr_0.0.200712.orig.tar.gz
to pool/main/l/ladr/ladr_0.0.200712.orig.tar.gz
libladr-dev_0.0.200712-1_i386.deb
to pool/main/l/ladr/libladr-dev_0.0.200712-1_i386.deb
libladr4_0.0.200712-1_i386.deb
to pool/main/l/ladr/libladr4_0.0.200712-1_i386.deb
prover9_0.0.200712-1_i386.deb
to pool/main/l/ladr/prover9_0.0.200712-1_i386.deb