Publishing details

• Published on 2022-07-23
• Copied from openkylin yangtze in Primary Archive for openKylin by xiewei

Changelog

haskell-cryptol (2.6.0-ok1) yangtze; urgency=medium

  * Build for openKylin.

 -- openKylinBot <email address hidden>  Mon, 25 Apr 2022 22:03:04 +0800

Builds

• amd64
• arm64
• riscv64

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.6.0-ok1_amd64.deb (2.5 MiB)
• haskell-cryptol_2.6.0-ok1.debian.tar.xz (6.0 KiB)
• haskell-cryptol_2.6.0-ok1.dsc (3.1 KiB)
• haskell-cryptol_2.6.0.orig.tar.gz (355.4 KiB)
• libghc-cryptol-dev_2.6.0-ok1_amd64.deb (4.3 MiB)
• libghc-cryptol-doc_2.6.0-ok1_all.deb (887.8 KiB)
• libghc-cryptol-prof_2.6.0-ok1_amd64.deb (4.4 MiB)