[ Source: haskell-cryptol ]
Package: cryptol (2.8.0-1 and others)
Links for cryptol
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.
Other Packages Related to cryptol
|
|
|
|
-
- dep: libc6 (>= 2.29)
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
-
- dep: libffi8 (>= 3.4)
- libreria eseguibile Foreign Function Interface
-
- dep: libgmp10 (>= 2:6.2.1+dfsg)
- libreria aritmetica a precisione multipla
-
- dep: libtinfo6 (>= 6)
- libreria condivisa di basso livello terminfo per la gestione del terminale
-
- dep: z3
- dimostratore di teoremi di Microsoft Research
Download cryptol
Architecture | Version | Package Size | Installed Size | Files |
---|---|---|---|---|
i386 | 2.8.0-1+b3 | 2,691.6 kB | 14,592.0 kB | [list of files] |