Publishing details

• Removed from disk on 2020-07-13.
• Removal requested on 2018-12-21.
• Superseded on 2018-12-20 by haskell-cryptol - 2.6.0-3
• Published on 2018-10-30
• Copied from ubuntu cosmic in Primary Archive for Ubuntu

Changelog

haskell-cryptol (2.5.0-1build4) cosmic; urgency=medium

  * Rebuild against new GHC ABI.

 -- Gianfranco Costamagna <email address hidden>  Tue, 24 Jul 2018 06:48:54 +0200

Builds

• arm64
• armhf
• ppc64el
• s390x

Package files

• cryptol_2.5.0-1build4_amd64.deb (2.5 MiB)
• cryptol_2.5.0-1build4_i386.deb (2.5 MiB)
• haskell-cryptol_2.5.0-1build4.debian.tar.xz (3.1 KiB)
• haskell-cryptol_2.5.0-1build4.dsc (3.7 KiB)
• haskell-cryptol_2.5.0.orig.tar.gz (329.2 KiB)
• libghc-cryptol-dev_2.5.0-1build4_amd64.deb (4.0 MiB)
• libghc-cryptol-dev_2.5.0-1build4_i386.deb (3.8 MiB)
• libghc-cryptol-doc_2.5.0-1build4_all.deb (648.4 KiB)
• libghc-cryptol-prof_2.5.0-1build4_amd64.deb (4.2 MiB)
• libghc-cryptol-prof_2.5.0-1build4_i386.deb (4.1 MiB)