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

Icon  Name                                Last modified      Size  Description
[PARENTDIR] Parent Directory                                         -   
[   ] slack-desc                          2022-03-10 23:34  731   
[   ] eprover.info                        2026-08-22 01:44  296   
[   ] eprover.SlackBuild                  2026-08-22 01:44  3.5K  
[   ] README                              2022-03-10 23:34   71