libghc-cryptol-prof 2.6.0-ok1 (amd64 binary) in openkylin yangtze
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://
Details
- Package version:
- 2.6.0-ok1
- Status:
- Deleted
- Component:
- main
- Priority:
- Optional
Downloadable files
amd64 build of haskell-cryptol 2.6.0-ok1 in openkylin yangtze PROPOSED produced
these files:
- libghc-cryptol-prof_2.6.0-ok1_amd64.deb (4.4 MiB)
Package relationships
- Depends on:
- libghc-array-prof-0.5.3.0-ea273
- libghc-base-compat-prof-0.10.5-6c968
- libghc-base-prof-4.12.0.0-a86a1
- libghc-bytestring-prof-0.10.8.2-20f27
- libghc-containers-prof-0.6.0.1-b7319
- libghc-cryptol-dev (= 2.6.0-ok1)
- libghc-deepseq-prof-1.4.4.0-b5530
- libghc-directory-prof-1.3.3.0-40647
- libghc-filepath-prof-1.4.2.1-774a0
- libghc-gitrev-prof-1.3.1-dbf1a
- libghc-graphscc-prof-1.0.4-c9482
- libghc-heredoc-prof-0.2.0.0-a6bfe
- libghc-monad-control-prof-1.0.2.3-55bab
- libghc-monadlib-prof-3.7.3-4474f
- libghc-mtl-prof-2.2.2-07ff1
- libghc-panic-prof-0.4.0.1-edca5
- libghc-pretty-prof-1.1.3.6-4f0eb
- libghc-process-prof-1.6.5.0-e8028
- libghc-random-prof-1.1-63bce
- libghc-sbv-prof-7.13-7e0aa
- libghc-simple-smt-prof-0.9.1-52ead
- libghc-strict-prof-0.3.2-9c8e0
- libghc-text-prof-1.2.3.1-538d8
- libghc-tf-random-prof-0.5-d66cb
- libghc-time-prof-1.8.0.2-76e12
- libghc-transformers-base-prof-0.4.5.2-b6c26
- Provides:
- libghc-cryptol-prof-2.6.0-95157
