Index of /mirrors/ubuntu/ubuntu/ubuntu/pool/universe/p/prover9-manual

      Name                                           Last modified      Size  Description
      Parent Directory                                                    -   
      prover9-doc_0.0.200902a-2.1_all.deb            2021-01-06 05:40  837K  
      prover9-doc_0.0.200902a-2_all.deb              2013-05-04 12:33  944K  
      prover9-manual_0.0.200902a-2.1.debian.tar.xz   2021-01-06 05:40  4.6K  
      prover9-manual_0.0.200902a-2.1.dsc             2021-01-06 05:40  1.9K  
      prover9-manual_0.0.200902a-2.debian.tar.gz     2013-05-04 12:33  4.6K  
      prover9-manual_0.0.200902a-2.dsc               2013-05-04 12:33  1.9K  
      prover9-manual_0.0.200902a.orig.tar.gz         2009-04-29 14:05  1.0M
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