gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-11-10 06:57:08 -08:00
Code Issues Projects Releases Wiki Activity
Files
f8fc0acc94de08c89a3314310940b5f18886366e
gentoo/sci-mathematics/cvc4
T
History
Alfredo Tupone f156562b15 sci-mathematics/cvc4: version bump to 1.8 
Package-Manager: Portage-3.0.18, Repoman-3.0.2
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2021-05-27 18:45:43 +02:00
..
files
sci-mathematics/cvc4: version bump to 1.8
2021-05-27 18:45:43 +02:00
cvc4-1.7-r1.ebuild
…
cvc4-1.8.ebuild
sci-mathematics/cvc4: version bump to 1.8
2021-05-27 18:45:43 +02:00
Manifest
sci-mathematics/cvc4: version bump to 1.8
2021-05-27 18:45:43 +02:00
metadata.xml
…