haskell-cryptol 2.5.0-1build4 source package in Ubuntu

Changelog

haskell-cryptol (2.5.0-1build4) cosmic; urgency=medium

  * Rebuild against new GHC ABI.

 -- Gianfranco Costamagna <email address hidden>  Tue, 24 Jul 2018 06:48:54 +0200

Upload details

Uploaded by:
Gianfranco Costamagna on 2018-07-24
Uploaded to:
Cosmic
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 2018-10-30 universe misc
Cosmic release on 2018-07-24 universe misc

Downloads

File Size SHA-256 Checksum
haskell-cryptol_2.5.0.orig.tar.gz 329.2 KiB 910928617beb1434ad5681672b78ede5dda7715b85dcb8246fa8d9ddb2261cf1
haskell-cryptol_2.5.0-1build4.debian.tar.xz 3.1 KiB 85b2f94ba7ec498c583a5d3968f0eef3b2f0f1001ce92f57a30115b985513515
haskell-cryptol_2.5.0-1build4.dsc 3.7 KiB f4e409bb7758ae1eb10c99a471ab487c7e2c07db840de57410863b09260edad4

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.