-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sat, 25 May 2013 11:43:32 +0200 Source: ladr Binary: libladr-dev libladr4 prover9 ladr4-apps Architecture: source amd64 Version: 0.0.200911a-2 Distribution: unstable Urgency: low Maintainer: Debian QA Group <packages@qa.debian.org> Changed-By: Frank Lichtenheld <djpig@debian.org> 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.200911a-2) unstable; urgency=low . * QA upload. * Upload to unstable. * Change maintainer to QA group. Checksums-Sha1: 7b5f66a228069393efe0afa205460a2cbedd9f03 1301 ladr_0.0.200911a-2.dsc cf659ce558396402a0a1547c9cfdb83271c9be53 22524 ladr_0.0.200911a-2.debian.tar.gz 59411f2ba786587a747a9d9f8a6e46af4a6a8dd4 386872 libladr-dev_0.0.200911a-2_amd64.deb 7e49cf1ccc2b4e80c8015aa7ce9c27273c8949c1 222338 libladr4_0.0.200911a-2_amd64.deb ee91dd016b2e90e3241b8da462915c18b0a8a95e 121676 prover9_0.0.200911a-2_amd64.deb 43f5982d319a447e305669158bdb9ecbca775049 343078 ladr4-apps_0.0.200911a-2_amd64.deb Checksums-Sha256: b4434664e4d7536614273499be6bfd763013c1fd29125bb59e3795b744b41283 1301 ladr_0.0.200911a-2.dsc 55571d1ae8c3ef0203d833679952db79848b4e2147e6ead319a3d872988cad93 22524 ladr_0.0.200911a-2.debian.tar.gz f004e664cfc340b3b5b092e16c869c19990052d02cb930d186736b418137fca7 386872 libladr-dev_0.0.200911a-2_amd64.deb e3a2ddd96835da3172a2b723050cbaee321cdeb5b1c9a3bac3d7dfd7834dee6d 222338 libladr4_0.0.200911a-2_amd64.deb d500364a652cc1ddb98fc75b72f6738c7fd1da06cdd41815ad2f87e73fcb7370 121676 prover9_0.0.200911a-2_amd64.deb a70363d62b2c979bf9c11d3b3e844b6ba0cd4efb9e7b6408b752af1c15e96e76 343078 ladr4-apps_0.0.200911a-2_amd64.deb Files: 7f74fc35bceb9114e114a6333eb29679 1301 math optional ladr_0.0.200911a-2.dsc 28aa28cccb09ca74b8d92f249b478886 22524 math optional ladr_0.0.200911a-2.debian.tar.gz 7a05ad2795d39a60a999b2972bc8de28 386872 libdevel optional libladr-dev_0.0.200911a-2_amd64.deb cc7f37ed1df412ef49bb257c58aeaec6 222338 libs optional libladr4_0.0.200911a-2_amd64.deb 24e58a325a40d6e35879e466528aaaff 121676 math optional prover9_0.0.200911a-2_amd64.deb 9508fdbd5f00909fe4583edeb2b5c688 343078 math optional ladr4-apps_0.0.200911a-2_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iEYEARECAAYFAlGgjJMACgkQQbn06FtxPfCEnwCgkcG8x459BpBjZn2VycuqmLTN 2DoAn3lSFFgt0VMULCAbif32iJrMA41u =96iS -----END PGP SIGNATURE-----
