Index of /slackware/sbo/local/14.2/academic/eprover/

../
README                                             16-Jan-2022 10:36                  71
eprover.SlackBuild                                 16-Jan-2022 10:36                3129
eprover.info                                       16-Jan-2022 10:36                 291
slack-desc                                         16-Jan-2022 10:36                 731