Ubuntu
haskell-cryptol package

haskell-cryptol 2.4.0-2build7 source package in Ubuntu

Changelog

haskell-cryptol (2.4.0-2build7) bionic; urgency=medium

  * No-change rebuild against libghc-monad-control-dev-1.0.2.2-548a1

 -- Steve Langasek <email address hidden>  Sat, 04 Nov 2017 00:57:36 +0000

Upload details

Uploaded by:
Steve Langasek
Uploaded to:
Bionic
Original maintainer:
Ubuntu Developers
Architectures:
any all
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
haskell-cryptol_2.4.0.orig.tar.gz 290.3 KiB d34471f734429c25b52ca71ce63270ec3157a8413eeaf7f65dd7abe3cb27014d
haskell-cryptol_2.4.0-2build7.debian.tar.xz 3.0 KiB 672a41b55720b04ff771d9883e6ad0e7ccf17c68557d9b62efeb3aa2eadb0a26
haskell-cryptol_2.4.0-2build7.dsc 3.7 KiB 814d896c952bf63ec86b1a32531abad6a3a680f69457d47f8d91f9d0e63b211d

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.