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

../
README                                             09-Nov-2024 05:58                  71
eprover.SlackBuild                                 09-Nov-2024 05:58                3574
eprover.info                                       09-Nov-2024 05:58                 291
slack-desc                                         09-Nov-2024 05:58                 731