Publishing details

• Published on 2021-10-15
• Copied from ubuntu impish in Primary Archive for Ubuntu

Changelog

haskell-cryptol (2.8.0-1build5.1) impish; urgency=medium

  * No-change rebuild for libffi soname change.

 -- Matthias Klose <email address hidden>  Sat, 11 Sep 2021 07:00:50 +0200

Builds

Built packages

• cryptol domain-specific language of cryptography

• libghc-cryptol-dev domain-specific language of cryptography

• libghc-cryptol-doc domain-specific language of cryptography; documentation

• libghc-cryptol-prof domain-specific language of cryptography; profiling libraries

Package files

• cryptol_2.8.0-1build5.1_amd64.deb (2.8 MiB)
• cryptol_2.8.0-1build5.1_arm64.deb (3.8 MiB)
• cryptol_2.8.0-1build5.1_armhf.deb (3.7 MiB)
• cryptol_2.8.0-1build5.1_ppc64el.deb (5.3 MiB)
• cryptol_2.8.0-1build5.1_riscv64.deb (6.3 MiB)
• cryptol_2.8.0-1build5.1_s390x.deb (12.2 MiB)
• haskell-cryptol_2.8.0-1build5.1.debian.tar.xz (4.7 KiB)
• haskell-cryptol_2.8.0-1build5.1.dsc (3.6 KiB)
• haskell-cryptol_2.8.0.orig.tar.gz (322.7 KiB)
• libghc-cryptol-dev_2.8.0-1build5.1_amd64.deb (4.4 MiB)
• libghc-cryptol-dev_2.8.0-1build5.1_arm64.deb (5.4 MiB)
• libghc-cryptol-dev_2.8.0-1build5.1_armhf.deb (5.1 MiB)
• libghc-cryptol-dev_2.8.0-1build5.1_ppc64el.deb (7.1 MiB)
• libghc-cryptol-dev_2.8.0-1build5.1_riscv64.deb (10.5 MiB)
• libghc-cryptol-dev_2.8.0-1build5.1_s390x.deb (7.5 MiB)
• libghc-cryptol-doc_2.8.0-1build5.1_all.deb (1.1 MiB)
• libghc-cryptol-prof_2.8.0-1build5.1_amd64.deb (4.5 MiB)
• libghc-cryptol-prof_2.8.0-1build5.1_arm64.deb (5.1 MiB)
• libghc-cryptol-prof_2.8.0-1build5.1_armhf.deb (4.9 MiB)
• libghc-cryptol-prof_2.8.0-1build5.1_ppc64el.deb (6.5 MiB)
• libghc-cryptol-prof_2.8.0-1build5.1_riscv64.deb (11.2 MiB)
• libghc-cryptol-prof_2.8.0-1build5.1_s390x.deb (5.8 MiB)