Index of /slackbuilds/15.0/academic/eprover

Icon  Name                        Last modified      Size  Description
[PARENTDIR] Parent Directory                                 -   
[   ] eprover.SlackBuild          2025-12-06 02:58  3.5K  
[   ] slack-desc                  2022-03-10 23:34  731   
[   ] eprover.info                2025-12-06 02:58  293   
[   ] README                      2022-03-10 23:34   71