Index of /slackbuilds/14.2/academic/eprover

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