Package: cryptol (2.8.0-1 and others) [debports]
Links for cryptol
Debian Resources:
Download Source Package :
Not foundMaintainers:
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: libtinfo6 (>= 6)
- libreria condivisa di basso livello terminfo per la gestione del terminale
-
- dep: sgml-base (>= 1.28)
- infrastruttura SGML e supporto per file catalogo SGML
-
- dep: z3
- dimostratore di teoremi di Microsoft Research
Download cryptol
Architecture | Version | Package Size | Installed Size | Files |
---|---|---|---|---|
x32 (unofficial port) | 2.8.0-1+b3 | 12,731.2 kB | 50,875.0 kB | [list of files] |