软件包:libghc-cryptol-prof(2.8.0-1 以及其他的) [debports]
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.
其他与 libghc-cryptol-prof 有关的软件包
|
|
|
|
-
- dep: libghc-array-prof-0.5.4.0-53f6a
- 软件包暂时不可用
-
- dep: libghc-base-compat-prof-0.11.1-673c4
- 软件包暂时不可用
-
- dep: libghc-base-prof-4.13.0.0-c5b91
- 软件包暂时不可用
-
- dep: libghc-bytestring-prof-0.10.10.1-c189b
- 软件包暂时不可用
-
- dep: libghc-containers-prof-0.6.2.1-5bf80
- 软件包暂时不可用
-
- dep: libghc-cryptohash-sha1-prof-0.11.100.1-fcfae
- 软件包暂时不可用
-
- dep: libghc-cryptol-dev (= 2.8.0-1+b3)
- domain-specific language of cryptography
-
- dep: libghc-deepseq-prof-1.4.4.0-88be1
- 软件包暂时不可用
-
- dep: libghc-directory-prof-1.3.6.0-025ac
- 软件包暂时不可用
-
- dep: libghc-filepath-prof-1.4.2.1-2edda
- 软件包暂时不可用
-
- dep: libghc-gitrev-prof-1.3.1-07393
- 软件包暂时不可用
-
- dep: libghc-graphscc-prof-1.0.4-b155e
- 软件包暂时不可用
-
- dep: libghc-heredoc-prof-0.2.0.0-e9e84
- 软件包暂时不可用
-
- dep: libghc-monad-control-prof-1.0.2.3-3f730
- 软件包暂时不可用
-
- dep: libghc-monadlib-prof-3.10-65337
- 软件包暂时不可用
-
- dep: libghc-mtl-prof-2.2.2-5bd25
- 软件包暂时不可用
-
- dep: libghc-panic-prof-0.4.0.1-f62bc
- 软件包暂时不可用
-
- dep: libghc-pretty-prof-1.1.3.6-c8b2b
- 软件包暂时不可用
-
- dep: libghc-process-prof-1.6.9.0-d3807
- 软件包暂时不可用
-
- dep: libghc-random-prof-1.1-bd839
- 软件包暂时不可用
-
- dep: libghc-sbv-prof-8.7-62e15
- 软件包暂时不可用
-
- dep: libghc-simple-smt-prof-0.9.5-c07fe
- 软件包暂时不可用
-
- dep: libghc-strict-prof-0.3.2-b2023
- 软件包暂时不可用
-
- dep: libghc-text-prof-1.2.4.0-327da
- 软件包暂时不可用
-
- dep: libghc-tf-random-prof-0.5-02834
- 软件包暂时不可用
-
- dep: libghc-time-prof-1.9.3-f3d80
- 软件包暂时不可用
-
- dep: libghc-transformers-base-prof-0.4.5.2-a3b35
- 软件包暂时不可用