Publishing details

• Created on 2022-01-19 by Ubuntu Archive Auto-Sync
• Published on 2022-01-19

Changelog

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

 -- Lukas Märdian <email address hidden>  Wed, 19 Jan 2022 12:46:14 +0100

Builds

• amd64
• arm64
• armhf
• ppc64el
• riscv64
• s390x

Built packages

• gringo grounding tools for (disjunctive) logic programs

• gringo-dbgsym debug symbols for gringo

Package files

• gringo-dbgsym_5.4.1-3ubuntu3_amd64.ddeb (27.6 MiB)
• gringo-dbgsym_5.4.1-3ubuntu3_arm64.ddeb (27.4 MiB)
• gringo-dbgsym_5.4.1-3ubuntu3_armhf.ddeb (26.5 MiB)
• gringo-dbgsym_5.4.1-3ubuntu3_ppc64el.ddeb (27.4 MiB)
• gringo-dbgsym_5.4.1-3ubuntu3_riscv64.ddeb (21.1 MiB)
• gringo-dbgsym_5.4.1-3ubuntu3_s390x.ddeb (29.8 MiB)
• gringo_5.4.1-3ubuntu3.debian.tar.xz (24.6 KiB)
• gringo_5.4.1-3ubuntu3.dsc (2.2 KiB)
• gringo_5.4.1-3ubuntu3_amd64.deb (2.0 MiB)
• gringo_5.4.1-3ubuntu3_arm64.deb (1.9 MiB)
• gringo_5.4.1-3ubuntu3_armhf.deb (1.8 MiB)
• gringo_5.4.1-3ubuntu3_ppc64el.deb (2.1 MiB)
• gringo_5.4.1-3ubuntu3_riscv64.deb (2.0 MiB)
• gringo_5.4.1-3ubuntu3_s390x.deb (2.1 MiB)
• gringo_5.4.1.orig.tar.gz (2.7 MiB)