Index of /sbo/14.2/academic/eprover/

../
README                                             23-Feb-2019 01:31                  71
eprover.SlackBuild                                 05-Sep-2020 01:31                3129
eprover.info                                       05-Sep-2020 01:31                 291
slack-desc                                         23-Feb-2019 01:31                 731