diff options
| author |   Sam James <sam@gentoo.org> | 2022-02-09 01:37:43 +0000 |
|---|---|---|
| committer | Sam James <sam@gentoo.org> | 2022-02-09 01:37:43 +0000 |
| commit | 2ee65e4c7a1eaa5fe9ca21f260be762a1e36d370 (patch) | |
| tree | 1d29be5644022b1fd62ba596da38ffb3fcb4532c /sci-mathematics/cvc4 | |
| parent | dev-util/cmake: Stabilize 3.22.2 amd64, #832947 (diff) | |
| download | gentoo-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/cvc4')
| -rw-r--r-- | sci-mathematics/cvc4/cvc4-1.8-r1.ebuild (renamed from sci-mathematics/cvc4/cvc4-1.8.ebuild) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/sci-mathematics/cvc4/cvc4-1.8.ebuild b/sci-mathematics/cvc4/cvc4-1.8-r1.ebuild index d15cbba2d1f8..d15cbba2d1f8 100644 --- a/sci-mathematics/cvc4/cvc4-1.8.ebuild +++ b/sci-mathematics/cvc4/cvc4-1.8-r1.ebuild |