Format: 1.8 Date: Wed, 19 Jan 2022 12:46:14 +0100 Source: gringo Binary: gringo Built-For-Profiles: noudeb Architecture: s390x Version: 5.4.1-3ubuntu3 Distribution: kinetic Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Lukas Märdian Description: gringo - grounding tools for (disjunctive) logic programs Changes: gringo (5.4.1-3ubuntu3) jammy; urgency=medium . * d/p/use-system-catch-for-glibc-2.34-compat.patch: Fix FTBFS with glibc-2.34 - Add catch and catch2 build-depends - Make use of system provided catch and catch2 libraries Checksums-Sha1: 9b67fc6baaf1bb9786d86df09d2035160bc8ea44 11302 gringo_5.4.1-3ubuntu3_s390x.buildinfo 5662b8fe9e86dac8d438d3d2e1f245ceadc4b797 2245920 gringo_5.4.1-3ubuntu3_s390x.deb Checksums-Sha256: 29f2f5b3e4da9c929af3ad40fc8627b80c25d7fd0e02ab57707290726fbb7b72 11302 gringo_5.4.1-3ubuntu3_s390x.buildinfo 40b860aa5e93710d342d5393f3fb2c3896e4a0c439bf886236b561258345a902 2245920 gringo_5.4.1-3ubuntu3_s390x.deb Files: 2917396c9a1c321e39e074f36f5f7c46 11302 interpreters optional gringo_5.4.1-3ubuntu3_s390x.buildinfo 738d8c090f4b66c08aafd3ac3447b8b8 2245920 interpreters optional gringo_5.4.1-3ubuntu3_s390x.deb Original-Maintainer: Debian Science Maintainers