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