Index of /sites/download.salixos.org/x86_64/extra-15.0/source/academic/eprover/?C=M&O=D

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