haskell-cryptol 2.4.0-2build2 source package in Ubuntu

Changelog

haskell-cryptol (2.4.0-2build2) zesty; urgency=medium

  * Rebuild against new GHC ABI.

 -- Gianfranco Costamagna <email address hidden>  Fri, 27 Jan 2017 12:20:09 +0100

Upload details

Uploaded by:
LocutusOfBorg on 2017-01-27
Uploaded to:
Zesty
Original maintainer:
Debian Haskell Group
Architectures:
any all
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Artful release on 2017-04-20 universe misc
Zesty release on 2017-01-31 universe misc

Downloads

File Size SHA-256 Checksum
haskell-cryptol_2.4.0.orig.tar.gz 290.3 KiB d34471f734429c25b52ca71ce63270ec3157a8413eeaf7f65dd7abe3cb27014d
haskell-cryptol_2.4.0-2build2.debian.tar.xz 2.8 KiB 9f51c758f595b797618bc03d2f1b67486c28132c6f102b0c704e12daeb10a796
haskell-cryptol_2.4.0-2build2.dsc 3.6 KiB aec4989f3b6808695e571cd992090a5565da1cd79063b3d6bd473e93835ae296

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