gringo (5.4.1-3.1)
[PTS] [DDPO]
OLD: VCS is behind the version in the archive: 5.4.1-3 < 5.4.1-3.1.
- Git: https://salsa.debian.org/science-team/gringo.git
-
- Branch: master
- Path: debian/changelog
- Repo size: 9310208
- Browser: https://salsa.debian.org/science-team/gringo
- Last scan: 2023-11-29 03:01:12+00
- Next scan: 2023-12-06 12:57:00+00
- Debian changelog in Git:
gringo (5.4.1-3) unstable; urgency=medium
* debian/symbols: fix symbols for g++-10 >= 10.2.1
* Bug fix: "non-standard gcc/g++ used for build (gcc-9)", thanks to
Matthias Klose (Closes: #978514).
-- Thomas Krennwallner <tkren@kr.tuwien.ac.at> Mon, 28 Dec 2020 12:50:01 +0000
- This branch is even with tag debian/5.4.1-3