[ubuntu/groovy-proposed] cvc4 1.8-2 (Accepted)

[Gianfranco Costamagna]

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).

Date: 2020-09-18 04:29:09.346058+00:00
Signed-By: Gianfranco Costamagna <costamagnagianfranco at yahoo.it>
https://launchpad.net/ubuntu/+source/cvc4/1.8-2
-------------- next part --------------
Sorry, changesfile not available.