haskell-cryptol 2.6.0-4 source package in Ubuntu

Changelog

haskell-cryptol (2.6.0-4) unstable; urgency=medium

  * debian/patches/a8eab11b319f6434f9b01b26d419b8305ff30bc2.patch:
  * debian/patches/634c5a03e757663bf86d1ffad1ce2c6086d4483f.patch:
    - cherry-pick two upstream patches to fix the build

 -- Gianfranco Costamagna <email address hidden>  Fri, 30 Aug 2019 18:05:32 +0200

Upload details

Uploaded by:
Debian Haskell Group on 2019-08-30
Uploaded to:
Sid
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 on 2019-10-18 universe misc
Eoan release on 2019-09-09 universe misc

Downloads

File Size SHA-256 Checksum
haskell-cryptol_2.6.0-4.dsc 3.3 KiB 8574e54763ba84ad9aeee0275164f6aa6c41f5e2d47d91a8ba345b4ce7cbe201
haskell-cryptol_2.6.0.orig.tar.gz 355.4 KiB 5f8abbfa2765ac0f6bb887edbec7032677d107c39581a4c78614e97382738f42
haskell-cryptol_2.6.0-4.debian.tar.xz 6.6 KiB ab62eb9738bd539ba1ac16884273480e72715c60eaf2e5d693f66e0d6f6e5dc7

No changes file available.

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: domain-specific language of cryptography; documentation

 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 the documentation for a library for the Haskell
 programming language.
 See http://www.haskell.org/ for more information on Haskell.

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.