-----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 <[EMAIL PROTECTED]> Changed-By: Peter Collingbourne <[EMAIL PROTECTED]> 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 -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]