Accepted ladr 0.0.200911a-2.1 (source amd64) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Thu, 09 Oct 2014 10:37:43 +0000
Source: ladr
Binary: libladr-dev libladr4 prover9 ladr4-apps
Architecture: source amd64
Version: 0.0.200911a-2.1
Distribution: unstable
Urgency: medium
Maintainer: Debian QA Group <packages@qa.debian.org>
Changed-By: Matthias Klose <doko@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
Closes: 761761
Changes:
ladr (0.0.200911a-2.1) unstable; urgency=medium
.
* Non-maintainer upload.
* Build-depend on libtool-bin. Closes: #761761.
Checksums-Sha1:
c42f199f389cb53ab86fbc385fc87e59ffe6f7f9 1337 ladr_0.0.200911a-2.1.dsc
40a6c0502b2e1104a3bf7dd1f146283238d36276 19388 ladr_0.0.200911a-2.1.debian.tar.xz
0487e50b9c14c9e2a8c8621602b11a183d65c808 277768 libladr-dev_0.0.200911a-2.1_amd64.deb
d9b065fd263a8a6e4584025660891714ef246669 187086 libladr4_0.0.200911a-2.1_amd64.deb
219f77f4d671b7d2020f0fe335c8a907c2cb302f 99924 prover9_0.0.200911a-2.1_amd64.deb
dd2336810c4a8a1223cbb0c6c5070a2a3f5982de 156530 ladr4-apps_0.0.200911a-2.1_amd64.deb
Checksums-Sha256:
c0623c2dd7c8a8f76570db9d606f50f367bf6cd83ddc6c17a43d2e74def660aa 1337 ladr_0.0.200911a-2.1.dsc
000d2791796f1dabcfb366f284760bb59d4d66b10c8dd81cc0e1c307ef129694 19388 ladr_0.0.200911a-2.1.debian.tar.xz
5e972d4ca27ccf49b1a54d214d35386c7871bb31a4585ce4885a4e481547ba3a 277768 libladr-dev_0.0.200911a-2.1_amd64.deb
ad78292bcd4ea9205834c3a778c039757273efd143b54003b4737b55d86b1166 187086 libladr4_0.0.200911a-2.1_amd64.deb
28c0a29a2bbd5aa09e9cdb1a414f98abd0ff548575386a0c4b848483f0b08653 99924 prover9_0.0.200911a-2.1_amd64.deb
5999768aaf8548c0976631335a5384e20ffe2a63b43755949fdd2f81597d7ede 156530 ladr4-apps_0.0.200911a-2.1_amd64.deb
Files:
7be5fc8c35dbbd1146305e8bea275743 1337 math optional ladr_0.0.200911a-2.1.dsc
0fbb593b779deabb43303557995d05fc 19388 math optional ladr_0.0.200911a-2.1.debian.tar.xz
355c972c0e9ce3cc2b88db1aee1eadf5 277768 libdevel optional libladr-dev_0.0.200911a-2.1_amd64.deb
88a9f97994c6eb5a71566bbc547a9415 187086 libs optional libladr4_0.0.200911a-2.1_amd64.deb
6e9c461a93ca42a24a4c1199916a3073 99924 math optional prover9_0.0.200911a-2.1_amd64.deb
6d8c535f6a73e0a3fbc046ee4ff8c6d9 156530 math optional ladr4-apps_0.0.200911a-2.1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iEYEARECAAYFAlQ2aAMACgkQStlRaw+TLJzX3gCgnVBrmXJeWCN68KRZ5Q71RilE
YHMAoKjqsURfQ0PVupFvq5a5X1Ca5zDE
=RaYh
-----END PGP SIGNATURE-----