Ubuntu
haskell-cryptol package

haskell-cryptol 2.4.0-3 source package in Ubuntu

Changelog

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

  * Change Priority to optional. Since Debian Policy version 4.0.1,
    priority extra has been deprecated.
  * Use the HTTPS form of the copyright-format URL
  * Modify d/watch and Source field in d/copyright to use HTTPS
  * Declare compliance with Debian policy 4.1.1

 -- Ilias Tsitsimpis <email address hidden>  Wed, 01 Nov 2017 12:13:56 +0200

Upload details

Uploaded by:
Debian Haskell Group
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
Bionic release universe misc

Downloads

File Size SHA-256 Checksum
haskell-cryptol_2.4.0-3.dsc 3.8 KiB 0176a3ae76e1b181d8b1792fb48e57846506379363e1db4085835b1e8f426164
haskell-cryptol_2.4.0.orig.tar.gz 290.3 KiB d34471f734429c25b52ca71ce63270ec3157a8413eeaf7f65dd7abe3cb27014d
haskell-cryptol_2.4.0-3.debian.tar.xz 2.9 KiB e753fd720a1884950f24d182a4759d79dc9deb59af499a8a472855ad2c779ab8

No changes file available.

Binary packages built by this source

cryptol: No summary available for cryptol in ubuntu cosmic.

No description available for cryptol in ubuntu cosmic.

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.