mirrors/gentoo-ebuilds
3
0
Fork 0
mirror of https://anongit.gentoo.org/git/repo/gentoo.git synced 2025-06-07 13:44:38 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions
gentoo-ebuilds/sci-mathematics/cvc4
History
Exact
Alfredo Tupone cdc6f473f0
sci-mathematics/cvc4: fix cmake build type 
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2025-06-05 11:18:49 +02:00
..
files
cvc4-1.8-r6.ebuild sci-mathematics/cvc4: fix cmake build type 2025-06-05 11:18:49 +02:00
Manifest
metadata.xml