This machine mirrors various open-source projects.
20 Gbit/s uplink.
If there are any issues or you want another project mirrored, please contact
mirror-service -=AT=- netcologne DOT de !
../ ghc-doc_8.4.4+dfsg1-3+rpi1_all.deb 07-Jul-2019 15:25 14M ghc-doc_8.8.4-2+rpi1_all.deb 29-Dec-2020 16:08 15M ghc-doc_9.0.2-4+rpi3_all.deb 06-Oct-2022 15:05 17M ghc-prof_8.4.4+dfsg1-3+rpi1_armhf.deb 07-Jul-2019 15:25 56M ghc-prof_8.8.4-2+rpi1_armhf.deb 29-Dec-2020 16:08 99M ghc-prof_9.0.2-4+rpi3_armhf.deb 06-Oct-2022 15:05 105M ghc-prof_9.4.7-2+rpi1_armhf.deb 24-Dec-2023 17:23 67M ghc_8.4.4+dfsg1-3+rpi1.debian.tar.xz 07-Jul-2019 15:25 58K ghc_8.4.4+dfsg1-3+rpi1.dsc 07-Jul-2019 15:25 2543 ghc_8.4.4+dfsg1-3+rpi1_armhf.deb 07-Jul-2019 15:25 95M ghc_8.4.4+dfsg1.orig.tar.xz 30-Dec-2018 04:08 11M ghc_8.8.4-2+rpi1.debian.tar.xz 29-Dec-2020 16:08 52K ghc_8.8.4-2+rpi1.dsc 29-Dec-2020 16:08 2541 ghc_8.8.4-2+rpi1_armhf.deb 29-Dec-2020 16:08 114M ghc_8.8.4.orig.tar.xz 18-Oct-2020 20:10 18M ghc_9.0.2-4+rpi3.debian.tar.xz 06-Oct-2022 15:05 56K ghc_9.0.2-4+rpi3.dsc 06-Oct-2022 15:05 2762 ghc_9.0.2-4+rpi3_armhf.deb 06-Oct-2022 15:05 118M ghc_9.0.2.orig.tar.xz 02-Oct-2022 13:07 26M ghc_9.0.2.orig.tar.xz.asc 02-Oct-2022 13:07 659 ghc_9.4.7-2+rpi1.debian.tar.xz 24-Dec-2023 17:24 64K ghc_9.4.7-2+rpi1.dsc 24-Dec-2023 17:24 2880 ghc_9.4.7-2+rpi1_armhf.deb 24-Dec-2023 17:23 94M ghc_9.4.7.orig.tar.xz 24-Dec-2023 17:24 27M ghc_9.4.7.orig.tar.xz.asc 24-Dec-2023 17:24 659