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.2.6-1build1_amd64.deb 14-Jan-2016 16:54 1873832 cryptol_2.2.6-1build1_i386.deb 14-Jan-2016 16:55 1887946 cryptol_2.4.0-3_amd64.deb 10-Nov-2017 23:28 2220280 cryptol_2.4.0-3_i386.deb 10-Nov-2017 23:28 2218976 cryptol_2.6.0-4build2_amd64.deb 08-Feb-2020 13:53 2376036 cryptol_2.8.0-1build5.1_amd64.deb 16-Sep-2021 07:39 2913632 cryptol_3.0.0-1build1_amd64.deb 09-Jan-2024 10:35 9864078 haskell-cryptol_2.2.6-1build1.debian.tar.xz 14-Jan-2016 16:39 2628 haskell-cryptol_2.2.6-1build1.dsc 14-Jan-2016 16:39 3484 haskell-cryptol_2.2.6.orig.tar.gz 30-Dec-2015 05:19 220825 haskell-cryptol_2.4.0-3.debian.tar.xz 10-Nov-2017 23:08 2956 haskell-cryptol_2.4.0-3.dsc 10-Nov-2017 23:08 3885 haskell-cryptol_2.4.0.orig.tar.gz 13-Nov-2016 17:08 297287 haskell-cryptol_2.6.0-4build2.debian.tar.xz 08-Feb-2020 11:48 6888 haskell-cryptol_2.6.0-4build2.dsc 08-Feb-2020 11:48 3438 haskell-cryptol_2.6.0.orig.tar.gz 14-Dec-2018 10:18 363980 haskell-cryptol_2.8.0-1build5.1.debian.tar.xz 16-Sep-2021 07:39 4788 haskell-cryptol_2.8.0-1build5.1.dsc 16-Sep-2021 07:39 3658 haskell-cryptol_2.8.0.orig.tar.gz 11-Jul-2020 05:18 330434 haskell-cryptol_3.0.0-1build1.debian.tar.xz 09-Jan-2024 09:50 3832 haskell-cryptol_3.0.0-1build1.dsc 09-Jan-2024 09:50 4929 haskell-cryptol_3.0.0.orig.tar.gz 08-Nov-2023 11:51 527998 libghc-cryptol-dev_2.2.6-1build1_amd64.deb 14-Jan-2016 16:54 2444798 libghc-cryptol-dev_2.2.6-1build1_i386.deb 14-Jan-2016 16:55 2452636 libghc-cryptol-dev_2.4.0-3_amd64.deb 10-Nov-2017 23:28 3408904 libghc-cryptol-dev_2.4.0-3_i386.deb 10-Nov-2017 23:28 3292924 libghc-cryptol-dev_2.6.0-4build2_amd64.deb 08-Feb-2020 13:53 4116364 libghc-cryptol-dev_2.8.0-1build5.1_amd64.deb 16-Sep-2021 07:39 4589424 libghc-cryptol-dev_3.0.0-1build1_amd64.deb 09-Jan-2024 10:35 7870858 libghc-cryptol-doc_2.2.6-1build1_all.deb 14-Jan-2016 16:54 479174 libghc-cryptol-doc_2.4.0-3_all.deb 10-Nov-2017 23:28 622376 libghc-cryptol-doc_2.6.0-4build2_all.deb 08-Feb-2020 13:53 978416 libghc-cryptol-doc_2.8.0-1build5.1_all.deb 16-Sep-2021 07:39 1148914 libghc-cryptol-doc_3.0.0-1build1_all.deb 09-Jan-2024 10:35 1773046 libghc-cryptol-prof_2.2.6-1build1_amd64.deb 14-Jan-2016 16:54 2771314 libghc-cryptol-prof_2.2.6-1build1_i386.deb 14-Jan-2016 16:55 2724430 libghc-cryptol-prof_2.4.0-3_amd64.deb 10-Nov-2017 23:28 3625584 libghc-cryptol-prof_2.4.0-3_i386.deb 10-Nov-2017 23:28 3537952 libghc-cryptol-prof_2.6.0-4build2_amd64.deb 08-Feb-2020 13:53 3988476 libghc-cryptol-prof_2.8.0-1build5.1_amd64.deb 16-Sep-2021 07:39 4722616 libghc-cryptol-prof_3.0.0-1build1_amd64.deb 09-Jan-2024 10:35 7922800
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.