[ubuntu/noble-updates] cvc4 1.8-3 (Accepted)

[Ubuntu Archive Robot]

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

Date: 2022-10-30 04:27:52.255913+00:00
Signed-By: Ubuntu Archive Robot <ubuntu-archive-robot at lists.canonical.com>
https://launchpad.net/ubuntu/+source/cvc4/1.8-3
-------------- next part --------------
Sorry, changesfile not available.