Ubuntu
haskell-cryptol package

haskell-cryptol 2.2.6-1build1 source package in Ubuntu

Changelog

haskell-cryptol (2.2.6-1build1) xenial; urgency=medium

  * Rebuild for new GHC ABIs.

 -- Colin Watson <email address hidden>  Thu, 14 Jan 2016 16:32:56 +0000

Upload details

Uploaded by:
Colin Watson
Uploaded to:
Xenial
Original maintainer:
Debian Haskell Group
Architectures:
any all
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Xenial release universe misc

Downloads

File Size SHA-256 Checksum
haskell-cryptol_2.2.6.orig.tar.gz 215.6 KiB 8fb05368e34f78b5c3872ff7b495bd3d4c21e9de7a0d72fc07cc79f93dc18cf3
haskell-cryptol_2.2.6-1build1.debian.tar.xz 2.6 KiB 32a45fbecc72c65f22a40aaf201e9ae76261ab66dcbfdffdf293d4e709ad649a
haskell-cryptol_2.2.6-1build1.dsc 3.4 KiB d5091bb2fac1e1ea430156dd6b5acd7207fe11e5bee6136cfb9b01369ca1df4f

View changes file

Binary packages built by this source

cryptol: No summary available for cryptol in ubuntu yakkety.

No description available for cryptol in ubuntu yakkety.

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

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

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.