libghc-cryptol-dev 2.6.0-4 (i386 binary) in ubuntu eoan
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://
Details
- Package version:
- 2.6.0-4
- Status:
- Obsolete
- Component:
- universe
- Priority:
- Extra
Downloadable files
i386 build of haskell-cryptol 2.6.0-4 in ubuntu eoan PROPOSED produced
these files:
- libghc-cryptol-dev_2.6.0-4_i386.deb (3.8 MiB)
Package relationships
- Depends on:
- libatomic1 (>= 4.8)
- libc6 (>= 2.29)
- libghc-array-dev-0.5.3.0-1300b
- libghc-base-compat-dev-0.10.5-a6497
- libghc-base-dev-4.12.0.0-701e2
- libghc-bytestring-dev-0.10.8.2-ab20c
- libghc-containers-dev-0.6.0.1-77e77
- libghc-deepseq-dev-1.4.4.0-2442b
- libghc-directory-dev-1.3.3.0-ec472
- libghc-filepath-dev-1.4.2.1-d6aac
- libghc-gitrev-dev-1.3.1-0c0af
- libghc-graphscc-dev-1.0.4-71b5e
- libghc-heredoc-dev-0.2.0.0-f1aa3
- libghc-monad-control-dev-1.0.2.3-8c306
- libghc-monadlib-dev-3.7.3-d6d20
- libghc-mtl-dev-2.2.2-ee345
- libghc-panic-dev-0.4.0.1-ae8ba
- libghc-pretty-dev-1.1.3.6-6dd83
- libghc-process-dev-1.6.5.0-5b963
- libghc-random-dev-1.1-8a6b7
- libghc-sbv-dev-7.13-6530c
- libghc-simple-smt-dev-0.9.1-323ad
- libghc-strict-dev-0.3.2-c0df5
- libghc-text-dev-1.2.3.1-23af3
- libghc-tf-random-dev-0.5-ffb2f
- libghc-time-dev-1.8.0.2-246bd
- libghc-transformers-base-dev-0.4.5.2-e123a
- libgmp10
- libtinfo6 (>= 6)
- Provides:
- libghc-cryptol-dev-2.6.0-1a246
- Suggests: