You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
gentoo-overlay/sci-mathematics/cvc4
root 385013adb1
Sync with portage [Sun Jan 21 16:11:41 MSK 2024].
2 months ago
..
files Sync with portage [Mon Mar 6 23:29:21 MSK 2023]. 1 year ago
Manifest Sync with portage [Mon Jan 30 18:34:27 MSK 2023]. 1 year ago
cvc4-1.8-r5.ebuild Sync with portage [Sun Jan 21 16:11:41 MSK 2024]. 2 months ago
metadata.xml Sync with portage [Mon Jan 30 18:34:27 MSK 2023]. 1 year ago