The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]dogado.de.
../ ghc-doc_8.4.4+dfsg1-3+rpi1_all.deb 07-Jul-2019 15:25 14777968 ghc-doc_8.8.4-2+rpi1_all.deb 29-Dec-2020 16:08 15874112 ghc-doc_9.0.2-4+rpi3_all.deb 06-Oct-2022 15:05 18061324 ghc-prof_8.4.4+dfsg1-3+rpi1_armhf.deb 07-Jul-2019 15:25 58298284 ghc-prof_8.8.4-2+rpi1_armhf.deb 29-Dec-2020 16:08 103868192 ghc-prof_9.0.2-4+rpi3_armhf.deb 06-Oct-2022 15:05 109679220 ghc-prof_9.4.7-2+rpi1_armhf.deb 24-Dec-2023 17:23 69765448 ghc_8.4.4+dfsg1-3+rpi1.debian.tar.xz 07-Jul-2019 15:25 59460 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 99242376 ghc_8.4.4+dfsg1.orig.tar.xz 30-Dec-2018 04:08 11239364 ghc_8.8.4-2+rpi1.debian.tar.xz 29-Dec-2020 16:08 53412 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 119456352 ghc_8.8.4.orig.tar.xz 18-Oct-2020 20:10 19395252 ghc_9.0.2-4+rpi3.debian.tar.xz 06-Oct-2022 15:05 57076 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 123432052 ghc_9.0.2.orig.tar.xz 02-Oct-2022 13:07 27270396 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 65976 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 98892136 ghc_9.4.7.orig.tar.xz 24-Dec-2023 17:24 28618472 ghc_9.4.7.orig.tar.xz.asc 24-Dec-2023 17:24 659
These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.
Health stats visible at Monitor.