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