[ubuntu/noble-updates] cvc5 1.1.1-1 (Accepted)
Ubuntu Archive Robot
ubuntu-archive-robot at lists.canonical.com
Fri Mar 29 23:59:57 UTC 2024
cvc5 (1.1.1-1) unstable; urgency=medium
* Update to new upstream release 1.1.1
* Fix FTBFS with CLN 1.3.7
* Build-Depends: pkg-config => pkgconf
Date: 2024-02-12 10:30:05.668815+00:00
Signed-By: Ubuntu Archive Robot <ubuntu-archive-robot at lists.canonical.com>
https://launchpad.net/ubuntu/+source/cvc5/1.1.1-1
-------------- next part --------------
Sorry, changesfile not available.
More information about the noble-changes
mailing list