gringo (5.6.2-2)
[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: 618496
- Browser: https://salsa.debian.org/science-team/gringo
- Last scan: 2025-01-26 01:03:02+00
- Next scan: 2025-02-02 22:44:00+00
- CI pipeline status: failed
- Debian changelog in Git:
gringo (5.6.2-2) unstable; urgency=medium
* Team upload
* Acknowledge NMU, thanks Adrian!
* Build without Python support, does not appear to be used anywhere
* Drop patches reduce-thread-count.patch and
skip-test_clingo_app.patch, no longer needed
* Do not run gringo6 and gringo7 Python autopkgtests
-- Graham Inggs <ginggs@debian.org> Tue, 25 Jun 2024 11:40:12 +0000
- This branch is even with tag debian/5.6.2-2