Format: 1.8 Date: Tue, 03 Apr 2018 12:31:30 +0000 Source: ladr Binary: libladr-dev libladr4 prover9 ladr4-apps Architecture: ppc64el Version: 0.0.200911a-2.1build1 Distribution: bionic-proposed Urgency: high Maintainer: Launchpad Build Daemon Changed-By: Balint Reczey 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.1build1) bionic; urgency=high . * No change rebuild to pick up -fPIE compiler default Checksums-Sha1: ab4d113f62e1f425815f94001f57b8da90a2d85d 35800 ladr4-apps-dbgsym_0.0.200911a-2.1build1_ppc64el.ddeb 9134acf3a77df53061d1fb0f1aa69166b8b72d7a 117380 ladr4-apps_0.0.200911a-2.1build1_ppc64el.deb 23a616f0bc6645fa4b92339d00e3a37a6552503a 6589 ladr_0.0.200911a-2.1build1_ppc64el.buildinfo 06d485d21280f988da62de1f759e066c4f484fd8 261124 libladr-dev_0.0.200911a-2.1build1_ppc64el.deb 7fc1c7d70cb18f0e8f81a12edc7af8b5c34e5b2b 25636 libladr4-dbgsym_0.0.200911a-2.1build1_ppc64el.ddeb 4cf73ea98532a454eaa42ad4b778ac539e38e6b6 158492 libladr4_0.0.200911a-2.1build1_ppc64el.deb 72a1b22029a86b6e3212e51f7074c2cbb258e496 17480 prover9-dbgsym_0.0.200911a-2.1build1_ppc64el.ddeb c3c20a2b028eaaf735df205e0d454ce16ab72983 75008 prover9_0.0.200911a-2.1build1_ppc64el.deb Checksums-Sha256: 56da59272d031aea7a03fec944c281e4dddccd32dcdb20ca32ab8ea930c0bdf1 35800 ladr4-apps-dbgsym_0.0.200911a-2.1build1_ppc64el.ddeb 16aa0c2d650f30428098a0540d88a6f47c04ec18b7849ec1599fd512d5236d2c 117380 ladr4-apps_0.0.200911a-2.1build1_ppc64el.deb b6a4135ba8aa5ef85b283ea874ae5c300ab12ab5ff54d475f8cb8fb93667f93c 6589 ladr_0.0.200911a-2.1build1_ppc64el.buildinfo 019d26519ba3fbcffb28c04da8c20d1ee4ee0382f2c9b80165adaf9baa02bba6 261124 libladr-dev_0.0.200911a-2.1build1_ppc64el.deb 28ff7fcc611f30a0e2bc37ce8fe4ef8a6c0799dafbd39f2259ebb34cc0193553 25636 libladr4-dbgsym_0.0.200911a-2.1build1_ppc64el.ddeb ce107ca0dd8b2ddedf5f26a9826bf120d8dcbd972846ec6a449e6b5830a6eef1 158492 libladr4_0.0.200911a-2.1build1_ppc64el.deb f3b89fafb6f544172ccfe3d3f6c7c3a42bd41bf0686a9e6a18f1ac7bc1d3209b 17480 prover9-dbgsym_0.0.200911a-2.1build1_ppc64el.ddeb 36e7ed54cdc3b5b3f1518e5f003d94a5942032cb3a1462128dd6d8ec4391621e 75008 prover9_0.0.200911a-2.1build1_ppc64el.deb Files: d015d8ab66a85488705db58951589936 35800 debug optional ladr4-apps-dbgsym_0.0.200911a-2.1build1_ppc64el.ddeb 9f03423c64069d67283ffaac28fc4d48 117380 math optional ladr4-apps_0.0.200911a-2.1build1_ppc64el.deb 4bbf87ee113a2eeeced991449222cc31 6589 math optional ladr_0.0.200911a-2.1build1_ppc64el.buildinfo 702e84be56eee6d2b25656fb7628f9dd 261124 libdevel optional libladr-dev_0.0.200911a-2.1build1_ppc64el.deb bc119112754b3e7e80a62320dde6593e 25636 debug optional libladr4-dbgsym_0.0.200911a-2.1build1_ppc64el.ddeb 72e31a6855e46a9d9532aba88cc1d557 158492 libs optional libladr4_0.0.200911a-2.1build1_ppc64el.deb c40209afea03f4a2ac82a1771f7dfcef 17480 debug optional prover9-dbgsym_0.0.200911a-2.1build1_ppc64el.ddeb b68c16c72c3ef079c486c73cf83278ab 75008 math optional prover9_0.0.200911a-2.1build1_ppc64el.deb Original-Maintainer: Debian QA Group