cvc4 (1.8-2)
[PTS] [DDPO]
OK: VCS matches the version in the archive
- Git: https://salsa.debian.org/science-team/cvc4.git
-
- Branch: master
- Path: debian/changelog
- Browser: https://salsa.debian.org/science-team/cvc4
- Last scan: 2022-06-21 13:52:08+00
- Next scan: 2022-06-26 17:23:00+00
- Debian changelog in Git:
cvc4 (1.8-2) unstable; urgency=medium
* Source-only reupload after the package has been through NEW.
* Add patch 06-disable-tests.patch to disable several failing test
cases that prevent the package from building on all release
architectures it has previously been built on (see #970511).
-- Fabian Wolff <fabi.wolff@arcor.de> Thu, 17 Sep 2020 18:29:09 +0200
- This branch is even with tag debian/1.8-2