Пакет: cryptol (3.0.0-1 и други)

[ Източник: haskell-cryptol  ]

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.

Други пакети, свързани с cryptol

• dep: libc6 (>= 2.34)

  GNU C Library: Shared libraries
  също и виртуален пакет, предлаган от libc6-udeb

• dep: libffi8 (>= 3.4)

  Foreign Function Interface library runtime

• dep: libgmp10 (>= 2:6.3.0+dfsg)

  Multiprecision arithmetic library

• dep: libtinfo6 (>= 6)

  shared low-level terminfo library for terminal handling

• dep: z3

  theorem prover from Microsoft Research

• dep: zlib1g (>= 1:1.1.4)

  compression library - runtime

Изтегляне на cryptol

Изтегляне за всички налични архитектури

Архитектура	Версия	Големина на пакета	Големина след инсталиране	Файлове
riscv64	3.0.0-1+b2	11 300,6 кБ	75 732,0 кБ	[списък на файловете]