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.

Index of /ubuntu-ports/pool/universe/h/haskell-cryptol/

../
cryptol_2.8.0-1build5.1_arm64.deb                  16-Sep-2021 08:28             4005008
cryptol_2.8.0-1build5.1_armhf.deb                  16-Sep-2021 14:08             3842040
cryptol_3.0.0-1build1_arm64.deb                    09-Jan-2024 10:35            10500308
cryptol_3.0.0-1build2_arm64.deb                    17-May-2024 00:53            10501508
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-1build2.debian.tar.xz        15-May-2024 12:18                3864
haskell-cryptol_3.0.0-1build2.dsc                  15-May-2024 12:18                4929
haskell-cryptol_3.0.0.orig.tar.gz                  08-Nov-2023 11:51              527998
libghc-cryptol-dev_2.8.0-1build5.1_arm64.deb       16-Sep-2021 08:28             5638902
libghc-cryptol-dev_2.8.0-1build5.1_armhf.deb       16-Sep-2021 14:08             5316880
libghc-cryptol-dev_3.0.0-1build1_arm64.deb         09-Jan-2024 10:35             9099640
libghc-cryptol-dev_3.0.0-1build2_arm64.deb         17-May-2024 00:53             9099430
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-doc_3.0.0-1build2_all.deb           15-May-2024 22:20             1773144
libghc-cryptol-prof_2.8.0-1build5.1_arm64.deb      16-Sep-2021 08:28             5377962
libghc-cryptol-prof_2.8.0-1build5.1_armhf.deb      16-Sep-2021 14:08             5175694
libghc-cryptol-prof_3.0.0-1build1_arm64.deb        09-Jan-2024 10:35            10053288
libghc-cryptol-prof_3.0.0-1build2_arm64.deb        17-May-2024 00:53            10053300

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.