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

../
cryptol_2.8.0-1build5.1_arm64.deb                  30-Aug-2023 23:31             4005008
cryptol_3.0.0-1build1_arm64.deb                    11-Jan-2024 00:06            10500308
haskell-cryptol_2.6.0-4build2.debian.tar.xz        30-Aug-2023 23:31                6888
haskell-cryptol_2.6.0-4build2.dsc                  30-Aug-2023 23:31                3438
haskell-cryptol_2.6.0.orig.tar.gz                  30-Aug-2023 23:31              363980
haskell-cryptol_2.8.0-1build5.1.debian.tar.xz      30-Aug-2023 23:31                4788
haskell-cryptol_2.8.0-1build5.1.dsc                30-Aug-2023 23:31                3658
haskell-cryptol_2.8.0.orig.tar.gz                  30-Aug-2023 23:31              330434
haskell-cryptol_3.0.0-1build1.debian.tar.xz        11-Jan-2024 00:06                3832
haskell-cryptol_3.0.0-1build1.dsc                  11-Jan-2024 00:06                4929
haskell-cryptol_3.0.0.orig.tar.gz                  20-Dec-2023 00:09              527998
libghc-cryptol-dev_2.8.0-1build5.1_arm64.deb       30-Aug-2023 23:31             5638902
libghc-cryptol-dev_3.0.0-1build1_arm64.deb         11-Jan-2024 00:06             9099640
libghc-cryptol-doc_2.6.0-4build2_all.deb           30-Aug-2023 23:31              978416
libghc-cryptol-doc_2.8.0-1build5.1_all.deb         30-Aug-2023 23:31             1148914
libghc-cryptol-doc_3.0.0-1build1_all.deb           11-Jan-2024 00:06             1773046
libghc-cryptol-prof_2.8.0-1build5.1_arm64.deb      30-Aug-2023 23:31             5377962
libghc-cryptol-prof_3.0.0-1build1_arm64.deb        11-Jan-2024 00:06            10053288