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

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