haskell-cryptol 2.4.0-2build6 source package in Ubuntu

Changelog

haskell-cryptol (2.4.0-2build6) artful; urgency=medium

  * Rebuild against new GHC ABI.

 -- Gianfranco Costamagna <email address hidden>  Wed, 19 Jul 2017 19:20:47 +0200

Upload details

Uploaded by:
Gianfranco Costamagna
Uploaded to:
Artful
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-2build6.debian.tar.xz 3.0 KiB 8f1a234993fc7b51e7368086269f32d5d6f5b3f639a1db4038d339e075517e4b
haskell-cryptol_2.4.0-2build6.dsc 3.7 KiB 47b2ecdb4839503803338e66a77fc67c3db0b25e6776293c91bb2ae55053977b

View changes file

Binary packages built by this source

cryptol: No summary available for cryptol in ubuntu artful.

No description available for cryptol in ubuntu artful.

libghc-cryptol-dev: No summary available for libghc-cryptol-dev in ubuntu artful.

No description available for libghc-cryptol-dev in ubuntu artful.

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: No summary available for libghc-cryptol-prof in ubuntu artful.

No description available for libghc-cryptol-prof in ubuntu artful.