Index of /ftp/gentoo-portage/sci-mathematics/cvc4

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[   ]Manifest 2024-01-19 22:40 1.8K 
[   ]cvc4-1.6.ebuild 2020-02-22 22:40 552  
[TXT]cvc4-1.7-r1.ebuild 2023-01-14 14:13 1.3K 
[   ]cvc4-1.7.ebuild 2019-07-25 08:40 1.3K 
[TXT]cvc4-1.8-r1.ebuild 2022-10-15 17:10 1.3K 
[TXT]cvc4-1.8-r2.ebuild 2023-01-14 14:13 1.4K 
[TXT]cvc4-1.8-r3.ebuild 2023-02-22 12:40 1.4K 
[TXT]cvc4-1.8-r4.ebuild 2023-03-05 12:40 1.4K 
[TXT]cvc4-1.8-r5.ebuild 2024-01-19 22:40 1.4K 
[   ]cvc4-1.8.ebuild 2022-02-08 10:10 1.3K 
[DIR]files/ 2024-03-27 11:11 -  
[TXT]metadata.xml 2023-01-29 14:40 840