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

../
E.tgz                                              04-Jun-2022 00:31      2M
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