Index of /x86_64/extra-15.0/source/academic/eprover/

../
E.tgz                                              04-Jun-2022 00:31             2412652
README                                             03-Jun-2022 17:05                  71
eprover.SlackBuild                                 11-Mar-2022 05:34                3466
eprover.info                                       03-Jun-2022 17:05                 291
slack-desc                                         03-Jun-2022 17:05                 731