Ubuntu
haskell-cryptol package

haskell-cryptol 2.6.0-4build2 source package in Ubuntu

Changelog

haskell-cryptol (2.6.0-4build2) focal; urgency=medium

  * No-change rebuild with fixed binutils on arm64.

 -- Matthias Klose <email address hidden>  Sat, 08 Feb 2020 11:03:14 +0000

Upload details

Uploaded by:
Matthias Klose
Uploaded to:
Focal
Original maintainer:
Debian Haskell Group
Architectures:
any all
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Focal release universe misc

Downloads

File Size SHA-256 Checksum
haskell-cryptol_2.6.0.orig.tar.gz 355.4 KiB 5f8abbfa2765ac0f6bb887edbec7032677d107c39581a4c78614e97382738f42
haskell-cryptol_2.6.0-4build2.debian.tar.xz 6.7 KiB a871927013ed86e6657ee145e70cab256a08cfcecb04fd9529aaef0bf7324111
haskell-cryptol_2.6.0-4build2.dsc 3.4 KiB 8fcd3ad6f697fa61f37653aecf2effecb9672b049c28c536b8a2013d709c8e3c

Available diffs

View changes file

Binary packages built by this source

cryptol: domain-specific language of cryptography

 Cryptol is a domain-specific language for specifying cryptographic
 algorithms. A Cryptol implementation of an algorithm resembles its
 mathematical specification more closely than an implementation in
 a general purpose language.

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

 Cryptol is a domain-specific language for specifying cryptographic
 algorithms. A Cryptol implementation of an algorithm resembles its
 mathematical specification more closely than an implementation in
 a general purpose language.
 .
 This package provides a library for the Haskell programming language.
 See http://www.haskell.org/ for more information on Haskell.

libghc-cryptol-doc: No summary available for libghc-cryptol-doc in ubuntu groovy.

No description available for libghc-cryptol-doc in ubuntu groovy.

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

 Cryptol is a domain-specific language for specifying cryptographic
 algorithms. A Cryptol implementation of an algorithm resembles its
 mathematical specification more closely than an implementation in
 a general purpose language.
 .
 This package provides a library for the Haskell programming language, compiled
 for profiling. See http://www.haskell.org/ for more information on Haskell.