-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Thu, 03 May 2018 08:30:23 +0200 Source: gringo Binary: gringo Architecture: source Version: 5.2.2-6 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> Changed-By: Ralf Treinen <treinen@debian.org> Description: gringo - grounding tools for (disjunctive) logic programs Closes: 896791 Changes: gringo (5.2.2-6) unstable; urgency=medium . * Team upload * Added build-dependency python3-distutils in order to fix FTBFS. Thanks to Adrian Bunk for the patch (closes: #896791) * Added debian/gbp.conf with pristine-tar=True Checksums-Sha1: cc738f88332b5a67cb08612759b76bade096637f 2087 gringo_5.2.2-6.dsc fa970402ff2a74e0e2f43dc199830a86a44beb8f 13992 gringo_5.2.2-6.debian.tar.xz ab620833756b069e20ca41cbe1182bb2c6ea0b36 7282 gringo_5.2.2-6_source.buildinfo Checksums-Sha256: 2c0b27e0191a6dce7bfdcc462faaf55c7e146273d7f58d1126dae317889103f7 2087 gringo_5.2.2-6.dsc a669078df87c7eace3c64457171e60c79cf1223737a5e387fd50c008e5efc1fb 13992 gringo_5.2.2-6.debian.tar.xz 45425f06fc708838508dfa15f3454db297430b659dca3c42054529c39b7956df 7282 gringo_5.2.2-6_source.buildinfo Files: 840129cda925a31946e17da61a5e4694 2087 interpreters optional gringo_5.2.2-6.dsc e74e72062660f024cdafa5af0e189b3a 13992 interpreters optional gringo_5.2.2-6.debian.tar.xz 65da917acfa6c7180572b77b3217d129 7282 interpreters optional gringo_5.2.2-6_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlrqrMIACgkQdFxHZtTK zf9rcBAAsapungHQgqo+GMk8UtZhQlYu1dcLMhxZB027Pk19Prlx+WSWGtY/UkI+ ITbjZXJIqv5wq+BWFFDUQFNVWLgCDCR1hwKzTqs95jJ/0RZuKSLU4N/wnbgKboxB +rFbrjObx1VptPDRnpXV3pKAnqieDEBirrSWcNZ3TsJKCSLRIkTQvgUt5nZfofcJ kDxr0TDha4KWM1STar5CdjvqIdwAgwxBtCNuUr5Ip1axgJZTgFQ2/WC/fLIffmXJ yRF09Ft2SgShTInL7UEwhCuyuZ++Dvh0YMJX9jNiclxQ5xJME1tMJnbQC3c6BbQ2 HKcr8XBy7DUDMTYqI+uwYQU8PYvU0ftJcao7N2N7fsOykZTfcWXTu9JzhLgnC8J1 7pmB8g47A9BW77qXDR6ANQdQBOahY0KOMkmlne1EwPlxyv7u4QXjM11/9MG6T4hQ FKxQaTB4/YSGqPIC1+OMc30VEFD1XZpxAm/PZTy9A0IuqqANtt1Vs2vqLfO9FuO0 bppcGRRQAfufoYEMzM/Rwyli5y38mSfjSCGUg5YtlIaV++VC1sKwzlfOvb9KS+ZU RwbERERnm4DthFE21SCMx/fsa+GZ7wMXnk1OtgwXzw78d1CIyUKmVGFzju3aalJ1 hzScENWmuK5qUseAkDd5F0OphyKimpU35B/kFJ6dvIMlm4qteS4= =62y9 -----END PGP SIGNATURE-----
