Index of /funtoo/sci-mathematics/cvc3

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory - [   ] Manifest 16-Jun-2016 18:18 378 [TXT] cvc3-2.4.1-r1.ebuild 02-Mar-2017 02:29 4.2K [TXT] cvc3-2.4.1.ebuild 02-Mar-2017 02:29 4.1K [DIR] files/ 31-Oct-2016 01:37 - [   ] metadata.xml 16-Jun-2016 18:18 1.8K