Index of /i486/extra-15.0/source/academic/eprover/?C=S&O=A

Icon  Name                              Last modified      Size  
[PARENTDIR] Parent Directory                                       -   
[   ] README                            2022-06-04 01:31   71   
[   ] eprover.info                      2022-06-04 01:31  291   
[   ] slack-desc                        2022-06-04 01:31  731   
[   ] eprover.SlackBuild                2022-03-11 05:34  3.4K  
[   ] E.tgz                             2022-06-04 01:31  2.3M