Index of /funtoo/sci-mathematics/prover9

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[TXT] prover9-2009.11a.ebuild 02-Mar-2017 02:29  2.4K  
[   ] Manifest                16-Jun-2016 18:18  770   
[   ] metadata.xml            16-Jun-2016 18:18  643   
[DIR] files/                  16-Jun-2016 18:18    -