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.6.0-3+b1_amd64.deb 04-Dec-2018 10:13 2426852 cryptol_2.6.0-3+b1_i386.deb 04-Dec-2018 10:03 2419100 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 cryptol_2.8.0-1+b3_i386.deb 03-Oct-2021 09:42 2756176 cryptol_3.0.0-1+b2_amd64.deb 13-Apr-2024 17:56 9186016 cryptol_3.0.0-1+b3_arm64.deb 13-Apr-2024 18:27 9222632 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 haskell-cryptol_3.0.0-1.debian.tar.xz 24-Oct-2023 12:53 3768 haskell-cryptol_3.0.0-1.dsc 24-Oct-2023 12:53 4930 haskell-cryptol_3.0.0.orig.tar.gz 24-Oct-2023 12:53 527998 libghc-cryptol-dev_2.6.0-3+b1_amd64.deb 04-Dec-2018 10:13 4161192 libghc-cryptol-dev_2.6.0-3+b1_i386.deb 04-Dec-2018 10:03 4047756 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-dev_2.8.0-1+b3_i386.deb 03-Oct-2021 09:42 4167224 libghc-cryptol-dev_3.0.0-1+b2_amd64.deb 13-Apr-2024 17:56 7333136 libghc-cryptol-dev_3.0.0-1+b3_arm64.deb 13-Apr-2024 18:27 7997620 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-doc_3.0.0-1_all.deb 04-Nov-2023 13:14 1999024 libghc-cryptol-prof_2.6.0-3+b1_amd64.deb 04-Dec-2018 10:13 3967988 libghc-cryptol-prof_2.6.0-3+b1_i386.deb 04-Dec-2018 10:03 3991692 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 libghc-cryptol-prof_2.8.0-1+b3_i386.deb 03-Oct-2021 09:42 4168812 libghc-cryptol-prof_3.0.0-1+b2_amd64.deb 13-Apr-2024 17:56 7166876 libghc-cryptol-prof_3.0.0-1+b3_arm64.deb 13-Apr-2024 18:27 8461120
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.