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: 237568
- Browser: https://salsa.debian.org/science-team/cvc4
- Last scan: 2025-02-06 15:36:04+00
- Next scan: 2025-02-15 06:31: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