Package: libghc-cryptol-dev (2.8.0-1 and others) [debports]

[ Source:  ]

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.1 (>= 2.29)

  Libreria C GNU: librerie condivise
  also a virtual package provided by libc6.1-udeb

• dep: libghc-array-dev-0.5.4.0-53f6a

  Package not available

• dep: libghc-base-compat-dev-0.11.1-673c4

  Package not available

• dep: libghc-base-dev-4.13.0.0-b69e1

  Package not available

• dep: libghc-bytestring-dev-0.10.10.1-6ce9a

  Package not available

• dep: libghc-containers-dev-0.6.2.1-25b62

  Package not available

• dep: libghc-cryptohash-sha1-dev-0.11.100.1-59e78

  Package not available

• dep: libghc-deepseq-dev-1.4.4.0-f63ee

  Package not available

• dep: libghc-directory-dev-1.3.6.0-515d6

  Package not available

• dep: libghc-filepath-dev-1.4.2.1-53885

  Package not available

• dep: libghc-gitrev-dev-1.3.1-96288

  Package not available

• dep: libghc-graphscc-dev-1.0.4-54146

  Package not available

• dep: libghc-heredoc-dev-0.2.0.0-5dbee

  Package not available

• dep: libghc-monad-control-dev-1.0.2.3-3f730

  Package not available

• dep: libghc-monadlib-dev-3.10-65337

  Package not available

• dep: libghc-mtl-dev-2.2.2-5bd25

  Package not available

• dep: libghc-panic-dev-0.4.0.1-df772

  Package not available

• dep: libghc-pretty-dev-1.1.3.6-a4941

  Package not available

• dep: libghc-process-dev-1.6.9.0-fd224

  Package not available

• dep: libghc-random-dev-1.1-ecbdf

  Package not available

• dep: libghc-sbv-dev-8.7-96caa

  Package not available

• dep: libghc-simple-smt-dev-0.9.5-48626

  Package not available

• dep: libghc-strict-dev-0.3.2-5247c

  Package not available

• dep: libghc-text-dev-1.2.4.0-29f87

  Package not available

• dep: libghc-tf-random-dev-0.5-5f182

  Package not available

• dep: libghc-time-dev-1.9.3-f5018

  Package not available

• dep: libghc-transformers-base-dev-0.4.5.2-a3b35

  Package not available

• dep: libgmp10 (>= 2:6.2.1+dfsg)

  libreria aritmetica a precisione multipla

• sug: libghc-cryptol-doc

  linguaggio di crittografia specifico di dominio; documentazione

• sug: libghc-cryptol-prof

  linguaggio di crittografia specifico di dominio; librerie di profilazione

Download libghc-cryptol-dev

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	2.8.0-1+b2	6,656.7 kB	83,771.0 kB	[list of files]