Index of /pub/slackbuilds.org/14.2/academic/eprover

Icon  Name                                Last modified      Size  Description
[PARENTDIR] Parent Directory                                         -   
[   ] eprover.info                        2020-09-04 20:31  291   
[   ] eprover.SlackBuild                  2020-09-04 20:31  3.1K  
[   ] slack-desc                          2019-02-22 19:31  731   
[   ] README                              2019-02-22 19:31   71