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

../
README                                             27-Apr-2024 07:19                  71
eprover.SlackBuild                                 27-Apr-2024 07:19                3466
eprover.info                                       27-Apr-2024 07:19                 291
slack-desc                                         27-Apr-2024 07:19                 731