Package: libghc-cryptol-dev (3.0.0-1 and others)
Links for libghc-cryptol-dev
Debian Resources:
Download Source Package haskell-cryptol:
- [haskell-cryptol_3.0.0-1.dsc]
- [haskell-cryptol_3.0.0.orig.tar.gz]
- [haskell-cryptol_3.0.0-1.debian.tar.xz]
Maintainers:
External Resources:
- Homepage [www.cryptol.net]
Similar packages:
linguaggio di crittografia specifico di dominio
Cryptol è un linguaggio specifico di dominio per specificare algoritmi crittografici. L'implementazione di un algoritmo in Cryptol assomiglia più da vicino alla sua specifica matematica di quanto non faccia un'implementazione in un linguaggio di uso universale.
Questo pacchetto fornisce una libreria per il linguaggio di programmazione Haskell. Per maggiori informazioni su Haskell si veda http://www.haskell.org/.
Other Packages Related to libghc-cryptol-dev
|
|
|
|
-
- dep: libc6 (>= 2.29)
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
-
- dep: libghc-arithmoi-dev-0.12.1.0-647ab
- virtual package provided by libghc-arithmoi-dev
-
- dep: libghc-array-dev-0.5.4.0-0952c
- virtual package provided by ghc
-
- dep: libghc-async-dev-2.2.4-2a6a6
- virtual package provided by libghc-async-dev
-
- dep: libghc-base-compat-dev-0.12.3-6dc1c
- virtual package provided by libghc-base-compat-dev
-
- dep: libghc-base-dev-4.17.2.0-42c25
- Package not available
-
- dep: libghc-bv-sized-dev-1.0.5-d7080
- virtual package provided by libghc-bv-sized-dev
-
- dep: libghc-bytestring-dev-0.11.5.2-f12d6
- virtual package provided by ghc
-
- dep: libghc-containers-dev-0.6.7-a1650
- virtual package provided by ghc
-
- dep: libghc-criterion-measurement-dev-0.2.1.0-b86fe
- virtual package provided by libghc-criterion-measurement-dev
-
- dep: libghc-cryptohash-sha1-dev-0.11.101.0-78d73
- virtual package provided by libghc-cryptohash-sha1-dev
-
- dep: libghc-deepseq-dev-1.4.8.0-ddf16
- virtual package provided by ghc
-
- dep: libghc-directory-dev-1.3.7.1-d68e7
- Package not available
-
- dep: libghc-exceptions-dev-0.10.5-3dbf4
- virtual package provided by ghc
-
- dep: libghc-filepath-dev-1.4.2.2-290a6
- virtual package provided by ghc
-
- dep: libghc-ghc-bignum-dev-1.3-90d8c
- virtual package provided by ghc
-
- dep: libghc-ghc-prim-dev-0.9.1-ca9fc
- virtual package provided by ghc
-
- dep: libghc-gitrev-dev-1.3.1-0e910
- virtual package provided by libghc-gitrev-dev
-
- dep: libghc-graphscc-dev-1.0.4-af4a5
- virtual package provided by libghc-graphscc-dev
-
- dep: libghc-heredoc-dev-0.2.0.0-3705b
- virtual package provided by libghc-heredoc-dev
-
- dep: libghc-hgmp-dev-0.1.2.1-bb815
- virtual package provided by libghc-hgmp-dev
-
- dep: libghc-language-c99-dev-0.2.0-03072
- virtual package provided by libghc-language-c99-dev
-
- dep: libghc-language-c99-simple-dev-0.3.0-5a829
- virtual package provided by libghc-language-c99-simple-dev
-
- dep: libghc-libbf-dev-0.6.6-8790f
- virtual package provided by libghc-libbf-dev
-
- dep: libghc-libffi-dev-0.2.1-41290
- Package not available
-
- dep: libghc-memotrie-dev-0.6.11-72a79
- virtual package provided by libghc-memotrie-dev
-
- dep: libghc-monad-control-dev-1.0.3.1-d981c
- virtual package provided by libghc-monad-control-dev
-
- dep: libghc-monadlib-dev-3.10.1-6c36a
- virtual package provided by libghc-monadlib-dev
-
- dep: libghc-mtl-dev-2.2.2-6f39a
- virtual package provided by ghc
-
- dep: libghc-panic-dev-0.4.0.1-848c2
- virtual package provided by libghc-panic-dev
-
- dep: libghc-parameterized-utils-dev-2.1.7.0-76f79
- virtual package provided by libghc-parameterized-utils-dev
-
- dep: libghc-pretty-dev-1.1.3.6-1aa0a
- virtual package provided by ghc
-
- dep: libghc-pretty-show-dev-1.10-ede6c
- virtual package provided by libghc-pretty-show-dev
-
- dep: libghc-prettyprinter-dev-1.7.1-500c0
- virtual package provided by libghc-prettyprinter-dev
-
- dep: libghc-process-dev-1.6.17.0-29e15
- virtual package provided by ghc
-
- dep: libghc-sbv-dev-10.2-eaf47
- virtual package provided by libghc-sbv-dev
-
- dep: libghc-simple-smt-dev-0.9.7-00072
- virtual package provided by libghc-simple-smt-dev
-
- dep: libghc-stm-dev-2.5.1.0-c4a56
- virtual package provided by ghc
-
- dep: libghc-strict-dev-0.5-4deb9
- virtual package provided by libghc-strict-dev
-
- dep: libghc-text-dev-2.0.2-982b4
- virtual package provided by ghc
-
- dep: libghc-tf-random-dev-0.5-de168
- virtual package provided by libghc-tf-random-dev
-
- dep: libghc-time-dev-1.12.2-5e302
- virtual package provided by ghc
-
- dep: libghc-transformers-base-dev-0.4.6-94229
- virtual package provided by libghc-transformers-base-dev
-
- dep: libghc-unix-dev-2.7.3-025c4
- Package not available
-
- dep: libghc-vector-dev-0.13.1.0-1ffee
- virtual package provided by libghc-vector-dev
-
- dep: libghc-what4-dev-1.5.1-361f9
- virtual package provided by libghc-what4-dev
-
- dep: libgmp10 (>= 2:6.3.0+dfsg)
- libreria aritmetica a precisione multipla
-
- dep: zlib1g (>= 1:1.1.4)
- libreria di compressione - runtime
Download libghc-cryptol-dev
Architecture | Version | Package Size | Installed Size | Files |
---|---|---|---|---|
mips64el | 3.0.0-1+b2 | 10,663.9 kB | 132,632.0 kB | [list of files] |