cryptominisat (5.11.4+dfsg1-2) [PTS] [DDPO]
OK: VCS matches the version in the archive- Git: https://salsa.debian.org/science-team/cryptominisat.git
- Branch: master
- Path: debian/changelog
- Repo size: 3215360
- Browser: https://salsa.debian.org/science-team/cryptominisat
- Last scan: 2023-06-03 10:06:15+00
- Next scan: 2023-06-12 03:58:00+00
- Debian changelog in Git:
cryptominisat (5.11.4+dfsg1-2) unstable; urgency=medium * Team upload. * Include cmake files in -dev package (needed for cvc5) -- Scott Talbert <swt@techie.net> Thu, 03 Nov 2022 14:49:01 -0400
- This branch is even with tag debian/5.11.4+dfsg1-2