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

Icon  Name                                               Last modified      Size  Description
[PARENTDIR] Parent Directory                                                        -   
[   ] E.tgz                                              2022-06-04 08:31  2.3M  
[   ] slack-desc                                         2022-06-04 01:05  731   
[   ] eprover.info                                       2022-06-04 01:05  291   
[   ] README                                             2022-06-04 01:05   71   
[   ] eprover.SlackBuild                                 2022-03-11 13:34  3.4K
Apache/2.4.59 (Debian) Server at mirror.freedif.org Port 443