Index of /mirrors/raspbian/raspbian/pool/main/c/coqprime

      Name                                    Last modified      Size  Description
      Parent Directory                                             -   
      coqprime-tools_8.15-2+b1_armhf.deb      2023-02-03 10:08  129K  
      coqprime_8.15-1.debian.tar.xz           2022-07-15 09:46  3.4K  
      coqprime_8.15-1.dsc                     2022-07-15 09:46  2.1K  
      coqprime_8.15-2.debian.tar.xz           2023-01-26 12:44  3.5K  
      coqprime_8.15-2.dsc                     2023-01-26 12:44  2.1K  
      coqprime_8.15.orig.tar.gz               2022-07-15 09:46  964K  
      libcoq-coqprime_8.15-2+b1_armhf.deb     2023-02-03 10:08  1.6M
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