haskell-cryptol 2.6.0-3build1 source package in Ubuntu

Changelog

haskell-cryptol (2.6.0-3build1) disco; urgency=medium

  * Rebuild against new GHC abi.

 -- Gianfranco Costamagna <email address hidden>  Wed, 06 Mar 2019 15:14:56 +0100

Upload details

Uploaded by:
Gianfranco Costamagna on 2019-03-06
Uploaded to:
Disco
Original maintainer:
Debian Haskell Group
Architectures:
any all
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Disco release on 2019-03-06 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-3build1.debian.tar.xz 3.4 KiB 8b2e06a891deeb0fc3658935c6107253155c571d65b9e456bb4c7ae2131ebaa8
haskell-cryptol_2.6.0-3build1.dsc 3.3 KiB 908943fa5872e904e609a371c6cd18d0e404e56ffb59ee98486f3649754022dc

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: 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.