Back to ladr PTS page

Accepted ladr 0.0.200911a-2 (source amd64)



-----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-----