Paketti: cryptol (2.8.0-1 ja muut) [debports]

Links for cryptol

Debian-palvelut:

Vikailmoitukset

Imuroi lähdekoodipaketti :

Ei löytynyt

Ylläpitäjät:

External Resources:

Kotisivu [www.cryptol.net]

Samankaltaisia paketteja:

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.

Muut pakettiin cryptol liittyvät paketit

depends

recommends

suggests

enhances

dep: libc6 (>= 2.27) [riscv64]

GNU-C-kirjasto: jaetut kirjastot
myös näennäispaketti, jonka toteuttaa libc6-udeb
dep: libc6.1 (>= 2.32) [ia64]

GNU-C-kirjasto: jaetut kirjastot
myös näennäispaketti, jonka toteuttaa libc6.1-udeb
dep: libffi8 (>= 3.4)

Foreign Function Interface library runtime
dep: libgmp10 (>= 2:6.2.1+dfsg)

Multiprecision arithmetic library
dep: libtinfo6 (>= 6)

Jaettu matalan abstraktiotason terminfo-kirjasto päätteen käsittelyyn
dep: z3

theorem prover from Microsoft Research

Imuroi cryptol

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Versio	Paketin koko	Koko asennettuna	Tiedostot
ia64 (epävirallinen siirros)	2.8.0-1+b2	9,089.7 kt	229,964.0 kt	[tiedostoluettelo]
riscv64 (epävirallinen siirros)	2.8.0-1+b2	6,037.3 kt	77,898.0 kt	[tiedostoluettelo]