-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 27 Dec 2025 02:45:38 +0100 Source: gringo Architecture: source Version: 5.8.0-2 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> Changed-By: Ralf Treinen <treinen@debian.org> Closes: 1123395 Changes: gringo (5.8.0-2) unstable; urgency=medium . * Add patch to fix compilation with re2c 4.3.1. Thanks a lot to Roland Kaminski! (closes: #1123395) * Add myself to Uploaders * Drop Rules-Requires-Root * Standards-Version 4.7.3 (no change) * Drop Conflicts/Replaces on (i)clingo since these binary packages have been dropped from this package in 2011. Checksums-Sha1: 5d830bc7195340083d08210ab14b658479e8df89 2047 gringo_5.8.0-2.dsc 0453e30138fc8e400f0204c7b3259c444a88187c 25400 gringo_5.8.0-2.debian.tar.xz 4699ead5c8169897d68184f36b51edc221f8e8a0 7556 gringo_5.8.0-2_source.buildinfo Checksums-Sha256: be1e1c9e240b34d2693dd54b9fbdf83045f61c9bf852e181a7fb5cc0f26efc36 2047 gringo_5.8.0-2.dsc 4315cadb6560a8db26d62c839d8d89b26714123f4b9bb8bcb6c0cc3c0e10fb98 25400 gringo_5.8.0-2.debian.tar.xz 96a941b39cfe48b6a0e9ed371c52c8154541a47cb2c192d42fa5967640fe52ed 7556 gringo_5.8.0-2_source.buildinfo Files: aef3e8bd40ec7faa522b692eaae84461 2047 interpreters optional gringo_5.8.0-2.dsc dc32941725cf7a97ca4358787840ce2c 25400 interpreters optional gringo_5.8.0-2.debian.tar.xz 8575972d12e0c648c71fc2633d318c21 7556 interpreters optional gringo_5.8.0-2_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmlPPscACgkQdFxHZtTK zf9K3BAAkXPDRMe447tOO/ND/c9Wi+hzC76YjVJIN9/IDUgmNfXvN9i6n4FASQ1G +fHnOifQ1FA4RyNNDv7Cj/NNVEicGXLPu0cMDsSo36DMQKNtDAAMIm7hhdB/2g1m r71YKK+z486D0kM85Seki8kbH7W2e7nDl3RckhdOEE5VOVexculc6nlB8JwjdvGz cQ26LNscxngyEH9O2iYdKIf3WYXyAwDi3JK0cGmQDtmIfKh4zesZ5k0gJEhByFAw ZzWv5+dt56K4Tw3T6PGIlXl2uW5vUympYW3AAGrxxWBHQyjjQ6GXov2a+Y5sFZ2e t+tCkYNo6bwgc6jfHVoIJcmeeRB8apYdi1b8Cwk/v1HmGN7ExUCxyc0Y5WnpvXFR 7ErkNVXeHIckT6P355DslwiyAa2d2mv0Db+2KQijlIwHWQY5ZsyxL74GA6mPHLbe ByJ9w+zUeaE03n9v+zUbL9UZbjpF57HJfj5zcF0zaBewF2NN90fdrK8SJnzkxer3 L+1AKOf2aOGNfIbde6ILnnEkb1DV9O+wg2XT8ytVsO9T+dIBMfBOerkJItgeKCbo fKY/4f/B7fIhzKzDyHms5cklHk6RDwW1U/ZxrzgRxuHCtwuj8p4uslWRe9bZ2akr vGSjBj4+ogKRjwxr/GCd6ac8xO3QM4NAVEH0nAiHz3VyTnBpktQ= =0Pns -----END PGP SIGNATURE-----
