Index of /pub/salix/sbo/14.2/academic/eprover

      Name                          Last modified      Size  Description
      Parent Directory                                   -   
      README                        2019-02-23 01:31   71   
      slack-desc                    2019-02-23 01:31  731   
      eprover.SlackBuild            2020-09-05 02:31  3.1K  
      eprover.info                  2020-09-05 02:31  291
ftp.heanet.ie

Address

HEAnet Ltd,
1st Floor,
5 George's Dock,
I.F.S.C.,
Dublin 1,
Ireland.

Contact

General Inquiries:
Tel: +353 (0) 1 660 9040
Email: info@heanet.ie

HEAnet Support:
Tel: +353 (0) 1 660 9040
Email: noc@heanet.ie

Schools Broadband Support:
Tel: 1800 33 44 66
Email: broadbandservicedesk@pdst.ie