mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2026-09-24 04:59:14 -07:00
sci-mathematics/cvc4: revbump for CMake config file fix
This file is installed and embeds the libdir path which will affect
consumers trying to build against/detect cvc4.
See: 0332138250
Closes: https://bugs.gentoo.org/820515
Signed-off-by: Sam James <sam@gentoo.org>
This commit is contained in:
Reference in New Issue
Block a user