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