Format: 1.8 Date: Tue, 03 Apr 2018 12:31:30 +0000 Source: ladr Binary: libladr-dev libladr4 prover9 ladr4-apps Architecture: armhf 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: 90abb26e73df6b1c89eb145d9e897bccf96b6211 29072 ladr4-apps-dbgsym_0.0.200911a-2.1build1_armhf.ddeb 834959c407b017067afd1968099ba9418101ee8e 109796 ladr4-apps_0.0.200911a-2.1build1_armhf.deb b8c45d1bf022aa6a360333592480ea3a6c2bbc24 6471 ladr_0.0.200911a-2.1build1_armhf.buildinfo b0659b861917ac5b7f0364857393c0ee6b0aacbf 238256 libladr-dev_0.0.200911a-2.1build1_armhf.deb 6f79e22fe8f835d0bcb9ca44e2b783a51cabcb73 24284 libladr4-dbgsym_0.0.200911a-2.1build1_armhf.ddeb 3cf6b9631ecf9388bc38ba8af0d9641669da91d1 137772 libladr4_0.0.200911a-2.1build1_armhf.deb 3a6613908c4422bd1cf709ea637edb81d1fccdc6 15728 prover9-dbgsym_0.0.200911a-2.1build1_armhf.ddeb 6e680662ed700e229e65acece235286f88d893a0 71568 prover9_0.0.200911a-2.1build1_armhf.deb Checksums-Sha256: ff580b3f75478803849c1ac40b000ea5e524ed8268b829809007bc6dddc74e77 29072 ladr4-apps-dbgsym_0.0.200911a-2.1build1_armhf.ddeb ef6783065d77e17b2a68142e711ec52dcd838ddd35ffc94c59777d31b49ed2c6 109796 ladr4-apps_0.0.200911a-2.1build1_armhf.deb ffd4732885f4ead85ae96e8402fa31dd2290afbb6d92eaf70cd6d57084013da7 6471 ladr_0.0.200911a-2.1build1_armhf.buildinfo edc632937deb72ecf106c5edb0533983b2becac11b3a11b7671da4c1c35a1968 238256 libladr-dev_0.0.200911a-2.1build1_armhf.deb eb0d72d83d1b7ee3faa7a78c75103b2e22e6a58e2474b92b7f46752ccadb3a01 24284 libladr4-dbgsym_0.0.200911a-2.1build1_armhf.ddeb 1b3901aba1b5201790f380ac22cf0ad671cfda1d794ef6dd49bcfa43cfd011d5 137772 libladr4_0.0.200911a-2.1build1_armhf.deb f09388af5179c2c9386311273af04645b792ab2322c9cbeb10cb1a3d06268ec3 15728 prover9-dbgsym_0.0.200911a-2.1build1_armhf.ddeb 91fb9d09fdfb801737a7e22d5c64c2e455f2fa49e07257ec2023ef1f7426b078 71568 prover9_0.0.200911a-2.1build1_armhf.deb Files: 09602348dd103e786da9f1557fb236f3 29072 debug optional ladr4-apps-dbgsym_0.0.200911a-2.1build1_armhf.ddeb 2a20d5c7f4e62bb2059a3db2e99653e3 109796 math optional ladr4-apps_0.0.200911a-2.1build1_armhf.deb 3c805677b280dc751d86b966b88ef5bc 6471 math optional ladr_0.0.200911a-2.1build1_armhf.buildinfo 5d9281e7260968d67824eb7bb44bf90a 238256 libdevel optional libladr-dev_0.0.200911a-2.1build1_armhf.deb 16e2cfb733474a7d36e927f81b4d0f1b 24284 debug optional libladr4-dbgsym_0.0.200911a-2.1build1_armhf.ddeb 1756a06f047968880c49d4ac9fc9e071 137772 libs optional libladr4_0.0.200911a-2.1build1_armhf.deb 292921b2bd4f5243b924bed854badbd9 15728 debug optional prover9-dbgsym_0.0.200911a-2.1build1_armhf.ddeb 21eaf92130ffd9bcaca8c3fa74ea2612 71568 math optional prover9_0.0.200911a-2.1build1_armhf.deb Original-Maintainer: Debian QA Group