haskell-cryptol 2.8.0-1build3 source package in Ubuntu

Changelog

haskell-cryptol (2.8.0-1build3) groovy; urgency=medium

  * Rebuild against new GHC ABI.

 -- Gianfranco Costamagna <email address hidden>  Sun, 23 Aug 2020 12:44:57 +0200

Upload details

Uploaded by:
Gianfranco Costamagna
Uploaded to:
Groovy
Original maintainer:
Debian Haskell Group
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.8.0.orig.tar.gz 322.7 KiB b061bf88de09de5034a3707960af01fbcc0425cdbff1085c50c00748df9910bb
haskell-cryptol_2.8.0-1build3.debian.tar.xz 4.5 KiB 3d8a63550ddde81a531267a38053b978b371e2480991ef3e678ec7f97f74e547
haskell-cryptol_2.8.0-1build3.dsc 3.5 KiB 7c1bab81d52fffb749f61efd0815a9fb3b91f2d9d042676ecdef121c275acb18

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.