/gentoo-portage/sci-mathematics/cvc4/
File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
files/ | - | 2022-Aug-16 03:10 |
metadata.xml | 802 | 2021-Sep-11 13:40 |
cvc4-1.7-r1.ebuild | 1379 | 2022-Feb-05 11:39 |
Manifest | 2115 | 2022-Feb-17 14:40 |
cvc4-1.8-r1.ebuild | 1344 | 2022-Feb-17 14:40 |