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                        2024-10-11 23:38  291   
[   ] eprover.SlackBuild                  2024-10-11 23:38  3.5K  
[   ] README                              2022-03-10 23:34   71