haskell-cryptol 2.6.0-4build2 source package in Ubuntu
Changelog
haskell-cryptol (2.6.0-4build2) focal; urgency=medium * No-change rebuild with fixed binutils on arm64. -- Matthias Klose <email address hidden> Sat, 08 Feb 2020 11:03:14 +0000
Upload details
- Uploaded by:
- Matthias Klose
- Uploaded to:
- Focal
- Original maintainer:
- Debian Haskell Group
- Architectures:
- any all
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Focal | release | universe | misc |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
haskell-cryptol_2.6.0.orig.tar.gz | 355.4 KiB | 5f8abbfa2765ac0f6bb887edbec7032677d107c39581a4c78614e97382738f42 |
haskell-cryptol_2.6.0-4build2.debian.tar.xz | 6.7 KiB | a871927013ed86e6657ee145e70cab256a08cfcecb04fd9529aaef0bf7324111 |
haskell-cryptol_2.6.0-4build2.dsc | 3.4 KiB | 8fcd3ad6f697fa61f37653aecf2effecb9672b049c28c536b8a2013d709c8e3c |
Available diffs
- diff from 2.6.0-4build1 to 2.6.0-4build2 (328 bytes)
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: No summary available for libghc-cryptol-doc in ubuntu groovy.
No description available for libghc-cryptol-doc in ubuntu groovy.
- 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.