haskell-cryptol 2.6.0-3 source package in Ubuntu

Changelog

haskell-cryptol (2.6.0-3) unstable; urgency=medium

  * Patch for newer base-compat.

 -- Clint Adams <email address hidden>  Fri, 09 Nov 2018 20:05:45 -0600

Upload details

Uploaded by:
Debian Haskell Group on 2018-11-10
Uploaded to:
Sid
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-12-20 universe misc

Downloads

File Size SHA-256 Checksum
haskell-cryptol_2.6.0-3.dsc 3.3 KiB 3ea63f7ec71e7478a9f67229b88ffb322b6c163afc3661eda7b3a573fb950691
haskell-cryptol_2.6.0.orig.tar.gz 355.4 KiB 5f8abbfa2765ac0f6bb887edbec7032677d107c39581a4c78614e97382738f42
haskell-cryptol_2.6.0-3.debian.tar.xz 3.3 KiB 5f65abd8ebecdbf40fc76f4bc15a3edc13c048ccbedf4aebfeb012dac58dfd43

No changes file available.

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.