Format: 1.8
Date: Wed, 19 Jan 2022 12:46:14 +0100
Source: gringo
Binary: gringo
Built-For-Profiles: noudeb
Architecture: arm64
Version: 5.4.1-3ubuntu3
Distribution: jammy-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-arm64-044.buildd>
Changed-By: Lukas Märdian <slyon@ubuntu.com>
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:
 4f572c216bcf5a242908a1445e8cadf6894fb2f9 28743354 gringo-dbgsym_5.4.1-3ubuntu3_arm64.ddeb
 43f915809009ed346d0550954bc8863c24321236 11413 gringo_5.4.1-3ubuntu3_arm64.buildinfo
 c217741a8fdbaf1fb3b9a4adf29f165e6a232763 2002490 gringo_5.4.1-3ubuntu3_arm64.deb
Checksums-Sha256:
 9b3e07c9a7297b061721aec3fab8c85268b5eb721bea068698df2922b15cc19b 28743354 gringo-dbgsym_5.4.1-3ubuntu3_arm64.ddeb
 41b9d295be45a6a22c554a28832fe072c05cf95367e49665750a64ca6b47c4ec 11413 gringo_5.4.1-3ubuntu3_arm64.buildinfo
 4fea006f76baecb3be7b71e5ea98e222faa1de2050688831d6d6f7a4ef2255ee 2002490 gringo_5.4.1-3ubuntu3_arm64.deb
Files:
 3c2d089def491fd8589e15370a9edca6 28743354 debug optional gringo-dbgsym_5.4.1-3ubuntu3_arm64.ddeb
 c944cedf7327cc790d1dc0b155fb4939 11413 interpreters optional gringo_5.4.1-3ubuntu3_arm64.buildinfo
 22465e03072c745ec2795f924e19a186 2002490 interpreters optional gringo_5.4.1-3ubuntu3_arm64.deb
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>