gringo_5.2.2-6_source.changes ACCEPTED into unstable

[Debian FTP Masters]

Accepted:

-----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 at lists.alioth.debian.org>
Changed-By: Ralf Treinen <treinen at 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-----


Thank you for your contribution to Debian.