Διαδρομή: /›data›pub›linux›salix›x86_64›extra-15.0›source›academic›eprover
![[ICO]](/css/icons/blank.svg){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/css/icons/folder-home.svg){kind=icon} | Parent Directory | - | |
![[ ]](/icons/compressed.gif){kind=icon} | E.tgz | 2022-06-04 03:31 | 2.3M |
![[ ]](/css/icons/unknown.svg){kind=icon} | eprover.SlackBuild | 2022-03-11 07:34 | 3.4K |
| slack-desc | 2022-06-03 20:05 | 731 |
![[ ]](/css/icons/info.svg){kind=icon} | eprover.info | 2022-06-03 20:05 | 291 |
![[ ]](/icons/hand.right.gif){kind=icon} | README | 2022-06-03 20:05 | 71 |
