-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 25 Jun 2024 11:40:12 +0000
Source: gringo
Built-For-Profiles: noudeb
Architecture: source
Version: 5.6.2-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Graham Inggs <ginggs@debian.org>
Changes:
gringo (5.6.2-2) unstable; urgency=medium
.
* Team upload
* Acknowledge NMU, thanks Adrian!
* Build without Python support, does not appear to be used anywhere
* Drop patches reduce-thread-count.patch and
skip-test_clingo_app.patch, no longer needed
* Do not run gringo6 and gringo7 Python autopkgtests
Checksums-Sha1:
d5aa0abbb3ac496847ba98614000303326ef7319 2012 gringo_5.6.2-2.dsc
21bd689c6e584b23b8c8f4f1dc8a99c2bdda93d2 24500 gringo_5.6.2-2.debian.tar.xz
Checksums-Sha256:
ce53e2d3f5a4e71202b0b167fec2fc23aa637ee94d8b41a7038abababdd441e1 2012 gringo_5.6.2-2.dsc
1a2b2a680a50b5228ffa063db1083e1426561ca6e95ba1287da2063dd432c649 24500 gringo_5.6.2-2.debian.tar.xz
Files:
a45c2206283c503e9d6db35c70f60f35 2012 interpreters optional gringo_5.6.2-2.dsc
7da37d778902c25f26fa753c1e6b84d1 24500 interpreters optional gringo_5.6.2-2.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEJeP/LX9Gnb59DU5Qr8/sjmac4cIFAmZ6rUQACgkQr8/sjmac
4cIlCRAAhzJ7KEQnRPVkMYoL+XFVaYd8FvhzMQQLRJ1JVqmcb9mYRCwSKwNCfyDU
g36Vl+0nbrLQT1qAYGSC/KeunBzohqLF8WyY2tYie45Rd6xTbWcKSL/NO4uQw9SF
De6/WadXzhbedHESc1cHIKR2yl5RaTmPiBvYAs7249Vr+l3k5mcjBPvXSUuc+A4N
wRRIeXTA7Fg9qWSSV/vtkBbpTjeuZZI5Jqfybngv1gjA+RoY6FtfocwDzIm0kj17
q0qOmbUlxjLqp94//awzFOLx5jY/G1V6a4nZmmC2+RZWLPVUrJnHu8E1AjSbSKsG
cjlPauVi4hRWZL33QvREj0nDyKchFiRCDFkcYrinaPGPKwUdvPwUgRkRYf3A9OLq
u79fXidw/ifnxuyWlG/ofIRtY4naCpqRTiTT4gOBb4O42iy+PXot6eDp/KfnWCUc
TS0jHuVvM3L9tpVp3IHq47Cozn2lWbhzqB43k19thRrjYDoxFQE20DtztIPlnuqQ
EPHjAc+SpfuZCEmzgdVqRAw+BcuW3ZNbWOXx0h2h17mTEI9X81GVosD2aSzbKPnS
Ie2bVFsP98UF3lSAEAoZO2rSPj57g5c9Pgq4SxsLCK3xbph41jhvq9DNdXLGedlz
46LcU91EumJFndylyWXR/hLbgCtKQQfJUsCuEEuEWtMl7R9GkqQ=
=jOMf
-----END PGP SIGNATURE-----
