[ Zdroj: haskell-cryptol ]
Balík: cryptol (2.4.0-3)
Odkazy pre cryptol
Zdroje Trisquel:
Stiahnuť zdrojový balík haskell-cryptol:
- [haskell-cryptol_2.4.0-3.dsc]
- [haskell-cryptol_2.4.0.orig.tar.gz]
- [haskell-cryptol_2.4.0-3.debian.tar.xz]
Správca:
Original Maintainers:
- Debian Haskell Group (Konferencia)
- Clint Adams
Externé zdroje:
- Domovská stránka [www.cryptol.net]
Podobné balíky:
domain-specific language of cryptography
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.
Ostatné balíky súvisiace s balíkom cryptol
|
|
|
-
- dep: libc6 (>= 2.12) [i386]
- GNU C Library: Shared libraries
tiež virtuálny balík poskytovaný balíkom libc6-udeb
- dep: libc6 (>= 2.14) [amd64]
-
- dep: libffi6 (>= 3.0.4)
- Foreign Function Interface library runtime
-
- dep: libgmp10
- Multiprecision arithmetic library
-
- dep: libtinfo5 (>= 6)
- shared low-level terminfo library for terminal handling
-
- dep: z3
- theorem prover from Microsoft Research
Stiahnuť cryptol
| Architektúra | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
|---|---|---|---|
| amd64 | 2,168.2 kB | 14775 kB | [zoznam súborov] |
| i386 | 2,167.0 kB | 11775 kB | [zoznam súborov] |