: 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: 2021-07-30 12:21:08+00
- Next scan: 2021-08-06 17:50: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 <email@example.com> Thu, 17 Sep 2020 18:29:09 +0200
- This branch is even with tag debian/1.8-2