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.
../ cryptol_2.8.0-1+b1_armhf.deb 22-Oct-2020 10:08 3254244 haskell-cryptol_2.6.0-3.debian.tar.xz 10-Nov-2018 02:18 3360 haskell-cryptol_2.6.0-3.dsc 10-Nov-2018 02:18 3414 haskell-cryptol_2.6.0.orig.tar.gz 29-Sep-2018 12:25 363980 haskell-cryptol_2.8.0-1.debian.tar.xz 11-Jul-2020 00:14 4512 haskell-cryptol_2.8.0-1.dsc 11-Jul-2020 00:14 3547 haskell-cryptol_2.8.0.orig.tar.gz 11-Jul-2020 00:14 330434 libghc-cryptol-dev_2.8.0-1+b1_armhf.deb 22-Oct-2020 10:08 4622876 libghc-cryptol-doc_2.6.0-3_all.deb 10-Nov-2018 03:18 961008 libghc-cryptol-doc_2.8.0-1_all.deb 11-Jul-2020 00:34 1238688 libghc-cryptol-prof_2.8.0-1+b1_armhf.deb 22-Oct-2020 10:08 4404880
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.