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

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

cvc4 (1.8-1) unstable; urgency=medium

  * New upstream release.
  * Update watch file.
  * Upgrade to debhelper compat level 13.
  * Upgrade to Standards-Version 4.5.0.
  * Update Homepage field in debian/control.
  * Update debian/copyright.
  * Update patches:
     - Rename 01-timestamps.patch into 00-timestamps.patch.
     - Drop 02-man-pages.patch (no longer needed; all man pages get
       installed now).
     - Drop 03-examples.patch (fixed upstream).
     - Drop 04-fix-spelling.patch (fixed upstream).
     - Add 01-disable-tests.patch to disable some lengthy test cases
       that would otherwise be run during the package build.
     - Add 02-install-lib-dir.patch to fix the directory into which
       the shared libraries are installed.
     - Add 03-remove-build-path.patch to help make the build more
       reproducible.
     - Add 04-spelling-errors.patch to fix the spelling errors found
       by Lintian.
     - Add 05-fix-headers.patch to make sure the installed header
       files are actually usable.
  * Switch to CMake build system.
  * Change build architectures to "any" (Closes: #941431).
  * Add print-version and simple-arith autopkgtests.
  * Adjust package names to new SONAME.

 -- Fabian Wolff <fabi.wolff@arcor.de>  Sun, 13 Sep 2020 14:04:56 +0200

cvc4 (1.6-2) unstable; urgency=medium

  * Add python3 to Build-Depends.
  * Update Maintainer email address.

 -- Fabian Wolff <fabi.wolff@arcor.de>  Sun, 12 Aug 2018 15:00:46 +0200

cvc4 (1.6-1) unstable; urgency=medium

  * New upstream release.
  * Update Vcs-Git and Vcs-Browser fields in debian/control.
  * Restrict build architectures to those architectures where cvc4 has
    previously built successfully since upstream has been unresponsive
    with regard to fixing those build failures (Closes: #880146,
    #880147).
  * Refresh patches.
  * Remove 02-include-paths.patch (fixed upstream).
  * Install NEWS file.
  * Install some examples with the -dev package.
  * Upgrade to debhelper compat level 11.
  * Upgrade to Standards-Version 4.2.0 in debian/control (no changes).
  * Update debian/copyright.
  * Adjust package names to match new SONAMEs.
  * Add patch 04-fix-spelling.patch to fix several spelling errors.
  * Mark libcvc4-5 and libcvc4parser5 as Multi-Arch: same.

 -- Fabian Wolff <fabi.wolff@arcor.de>  Sun, 07 Jan 2018 16:19:48 +0100

cvc4 (1.5-1) unstable; urgency=medium

  * Initial release. (Closes: #757048)

 -- Fabian Wolff <fabi.wolff@arcor.de>  Sat, 29 Jul 2017 00:31:25 +0200