Paket: cryptol (2.8.0-1 och andra) [debports]

Länkar för cryptol

Debianresurser:

Felrapporter

Hämta källkodspaketet :

Hittades ej

Ansvariga:

Externa resurser:

Hemsida [www.cryptol.net]

Liknande paket:

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.

Andra paket besläktade med cryptol

beror

rekommenderar

föreslår

enhances

dep: libc6 (>= 2.29)

GNU C-bibliotek: Delade bibliotek
också ett virtuellt paket som tillhandahålls av libc6-udeb
dep: libffi8 (>= 3.4)

Foreign Function Interface library runtime
dep: libtinfo6 (>= 6)

shared low-level terminfo library for terminal handling
dep: sgml-base (>= 1.28)

SGML infrastructure and SGML catalog file support
dep: z3

theorem prover from Microsoft Research

Hämta cryptol

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Version	Paketstorlek	Installerad storlek	Filer
x32 (inofficiell anpassning)	2.8.0-1+b3	12.731,2 kbyte	50.875,0 kbyte	[filförteckning]