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+b2_amd64.deb 19-Aug-2020 19:12 2684384 cryptol_2.8.0-1+b2_arm64.deb 19-Aug-2020 20:15 3505816 cryptol_2.8.0-1+b2_i386.deb 19-Aug-2020 22:17 2755984 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+b2_amd64.deb 19-Aug-2020 19:12 4217280 libghc-cryptol-dev_2.8.0-1+b2_arm64.deb 19-Aug-2020 20:15 5000744 libghc-cryptol-dev_2.8.0-1+b2_i386.deb 19-Aug-2020 22:17 4167420 libghc-cryptol-doc_2.8.0-1_all.deb 11-Jul-2020 00:34 1238688 libghc-cryptol-prof_2.8.0-1+b2_amd64.deb 19-Aug-2020 19:12 4116096 libghc-cryptol-prof_2.8.0-1+b2_arm64.deb 19-Aug-2020 20:15 4582760 libghc-cryptol-prof_2.8.0-1+b2_i386.deb 19-Aug-2020 22:17 4168068
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.