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

[ Källkod:  ]

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

• dep: libc6 (>= 2.27) [riscv64]

  GNU C-bibliotek: Delade bibliotek
  också ett virtuellt paket som tillhandahålls av libc6-udeb

• dep: libc6.1 (>= 2.32) [ia64]

  GNU C-bibliotek: Delade bibliotek
  också ett virtuellt paket som tillhandahålls av 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)

  shared low-level terminfo library for terminal handling

• dep: z3

  theorem prover from Microsoft Research

Hämta cryptol

Hämtningar för alla tillgängliga arkitekturer

Arkitektur	Version	Paketstorlek	Installerad storlek	Filer
ia64 (inofficiell anpassning)	2.8.0-1+b2	9.089,7 kbyte	229.964,0 kbyte	[filförteckning]
riscv64 (inofficiell anpassning)	2.8.0-1+b2	6.037,3 kbyte	77.898,0 kbyte	[filförteckning]