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

../
README                                             20-Jul-2024 04:01                  71
eprover.SlackBuild                                 20-Jul-2024 04:01                3466
eprover.info                                       20-Jul-2024 04:01                 291
slack-desc                                         20-Jul-2024 04:01                 731