Publishing details

• Removed from disk on 2018-06-27.
• Removal requested on 2018-06-27.
• Superseded on 2018-06-26 by haskell-cryptol - 2.5.0-1build1
• Published on 2018-05-19
• Copied from debian sid in Primary Archive for Debian GNU/Linux by Gianfranco Costamagna

Changelog

haskell-cryptol (2.5.0-1) unstable; urgency=medium

  * New upstream release

 -- Clint Adams <email address hidden>  Mon, 09 Apr 2018 22:47:51 -0400

Builds

• amd64
• arm64
• armhf
• i386
• ppc64el
• s390x

Package files

• cryptol_2.5.0-1_amd64.deb (2.5 MiB)
• cryptol_2.5.0-1_i386.deb (2.5 MiB)
• haskell-cryptol_2.5.0-1.debian.tar.xz (3.0 KiB)
• haskell-cryptol_2.5.0-1.dsc (3.9 KiB)
• haskell-cryptol_2.5.0.orig.tar.gz (329.2 KiB)
• libghc-cryptol-dev_2.5.0-1_amd64.deb (4.0 MiB)
• libghc-cryptol-dev_2.5.0-1_i386.deb (3.8 MiB)
• libghc-cryptol-doc_2.5.0-1_all.deb (648.2 KiB)
• libghc-cryptol-prof_2.5.0-1_amd64.deb (4.2 MiB)
• libghc-cryptol-prof_2.5.0-1_i386.deb (4.1 MiB)