Index of /pub/slackbuilds.org/slackbuilds/15.0/academic/eprover/

../
README                                             11-Mar-2022 05:34                  71
eprover.SlackBuild                                 06-Dec-2025 08:58                3590
eprover.info                                       06-Dec-2025 08:58                 293
slack-desc                                         11-Mar-2022 05:34                 731