gringo (5.8.0-1)
[PTS] [DDPO]
OK: VCS matches the version in the archive
- Git: https://salsa.debian.org/science-team/gringo.git
-
- Branch: master
- Path: debian/changelog
- Repo size: 901120
- Browser: https://salsa.debian.org/science-team/gringo
- Last scan: 2025-10-12 15:00:48+00
- Next scan: 2025-10-18 05:46:00+00
- CI pipeline status: failed
- Debian changelog in Git:
gringo (5.8.0-1) unstable; urgency=medium
* Team upload
* New upstream release. Closes: 1112978.
* Refresh patches:
- gringo-python3-utf8.patch
- link-libatomic-check.patch
- use-system-catch-for-glibc-2.34-compat.patch
* Drop patches that have been resolved upstream:
- testsuite-python-open-rU.patch
- gcc13.diff
-- Ralf Treinen <treinen@debian.org> Sun, 12 Oct 2025 11:18:58 +0200
- This branch is even with tag debian/5.8.0-1