cvc4 (1.8-3) [PTS] [DDPO]
OK: VCS matches the version in the archive- Git: https://salsa.debian.org/science-team/cvc4.git
- Branch: master
- Path: debian/changelog
- Repo size: 17154048
- Browser: https://salsa.debian.org/science-team/cvc4
- Last scan: 2023-02-03 05:27:19+00
- Next scan: 2023-02-11 00:57:00+00
- Merge requests: 1
- Debian changelog in Git:
cvc4 (1.8-3) unstable; urgency=medium * Team upload. * Fix FTBFS with bash 5.2 (Closes: #1020010) * Fix FTBFS due to cryptominisat API changes by disabling cryptominisat -- Scott Talbert <swt@techie.net> Sat, 29 Oct 2022 14:49:40 -0400
- This branch is even with tag debian/1.8-3