summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSam James <sam@gentoo.org>2022-02-09 01:37:43 +0000
committerSam James <sam@gentoo.org>2022-02-09 01:37:43 +0000
commit2ee65e4c7a1eaa5fe9ca21f260be762a1e36d370 (patch)
tree1d29be5644022b1fd62ba596da38ffb3fcb4532c /sci-mathematics/planarity
parentdev-util/cmake: Stabilize 3.22.2 amd64, #832947 (diff)
downloadgentoo-2ee65e4c7a1eaa5fe9ca21f260be762a1e36d370.tar.gz
gentoo-2ee65e4c7a1eaa5fe9ca21f260be762a1e36d370.tar.bz2
gentoo-2ee65e4c7a1eaa5fe9ca21f260be762a1e36d370.zip
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: 03321382501b45387f99917ba5acf9aa627805bd Closes: https://bugs.gentoo.org/820515 Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'sci-mathematics/planarity')
0 files changed, 0 insertions, 0 deletions