-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sun, 29 Jun 2008 03:23:16 +0100 Source: ladr Binary: libladr-dev libladr4 prover9 ladr4-apps Architecture: source i386 Version: 0.0.200806a-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.200806a-1) unstable; urgency=low . * New upstream release. * debian/patches/01-libtoolise.dpatch: new source file weight2.c * debian/libladr4.symbols: updated * debian/control: new Standards-Version, updated for new prover9-doc * debian/prooftrans.1: documented new tagged format Checksums-Sha1: dec09bc883bddc8d00b55d136ad8a9a433fd5932 1148 ladr_0.0.200806a-1.dsc 816461550645c9e38db833fc08418fd06628eb83 1677889 ladr_0.0.200806a.orig.tar.gz 056c14cda0d009f1cdc787c23d04dee29b3a4a66 20710 ladr_0.0.200806a-1.diff.gz c5a1690e7a2901ba5ab65f9c5da81aa1ef663388 342242 libladr-dev_0.0.200806a-1_i386.deb e752e27bb504da02743eb0825b7b786fa6c94c08 209764 libladr4_0.0.200806a-1_i386.deb fccc71fa7a7f0638d3b3ec4adb51b6e294926476 110968 prover9_0.0.200806a-1_i386.deb 8ce26553891f86201d643a279e1a614112a92794 330590 ladr4-apps_0.0.200806a-1_i386.deb Checksums-Sha256: 621b8b09d4c3bf39711149ac747c9170b6580b85ffb08ead112851bcd3bf27fa 1148 ladr_0.0.200806a-1.dsc ecec73862c1cf50dbde969d41dabf427535517db80dff8f99e0383f05355c0a7 1677889 ladr_0.0.200806a.orig.tar.gz ed9768220de7a9067b5660d898b68af35e94d31bc0861b5a73332828e17ba1bf 20710 ladr_0.0.200806a-1.diff.gz e0e0bf8e3072b2d97f03f1aa2b8c08039e1f5871caa6edc4878e4910e877d301 342242 libladr-dev_0.0.200806a-1_i386.deb c57461b978e8b3c1e515015c9767130e351fc582c614f4f7149ad2b9b073eb95 209764 libladr4_0.0.200806a-1_i386.deb 853a168c374db9fab465a65ee7d2e108b0e760b36e27f342b99972e0b93de25b 110968 prover9_0.0.200806a-1_i386.deb bf2b955fcf84f0b659408174550bcf24d8e637c26e33dbce068d6e4dc8d6e2ac 330590 ladr4-apps_0.0.200806a-1_i386.deb Files: df4b3b15d87040f051002340413f5ef2 1148 math optional ladr_0.0.200806a-1.dsc 1716243e9b89a6e19a152db25eca01a7 1677889 math optional ladr_0.0.200806a.orig.tar.gz b05e9183041730be13e9968829232ac9 20710 math optional ladr_0.0.200806a-1.diff.gz 4abb868cc4bdd4e4297f0ad4ff6f4c1e 342242 libdevel optional libladr-dev_0.0.200806a-1_i386.deb cfa94202ff43bbe4f7cdcacb230bf2a4 209764 libs optional libladr4_0.0.200806a-1_i386.deb 0720644a1c3756ab89c7b49b230b1b7b 110968 math optional prover9_0.0.200806a-1_i386.deb 0b13444022f9d925b1844c97ed68c480 330590 math optional ladr4-apps_0.0.200806a-1_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFIaAbHXDqn6DSH7HERAsdnAJ0cgzIdcQeWh3V++LC/FLQQmBdZAgCgun2p 53uHTBDoEehiSkYIJpT0AG4= =qzTU -----END PGP SIGNATURE----- Accepted: ladr4-apps_0.0.200806a-1_i386.deb to pool/main/l/ladr/ladr4-apps_0.0.200806a-1_i386.deb ladr_0.0.200806a-1.diff.gz to pool/main/l/ladr/ladr_0.0.200806a-1.diff.gz ladr_0.0.200806a-1.dsc to pool/main/l/ladr/ladr_0.0.200806a-1.dsc ladr_0.0.200806a.orig.tar.gz to pool/main/l/ladr/ladr_0.0.200806a.orig.tar.gz libladr-dev_0.0.200806a-1_i386.deb to pool/main/l/ladr/libladr-dev_0.0.200806a-1_i386.deb libladr4_0.0.200806a-1_i386.deb to pool/main/l/ladr/libladr4_0.0.200806a-1_i386.deb prover9_0.0.200806a-1_i386.deb to pool/main/l/ladr/prover9_0.0.200806a-1_i386.deb
