Пакет: cryptol (2.8.0-1 и други) [debports]

Връзки за cryptol

Ресурси за Debian:

Доклади за грешки

Изтегляне на пакет-източник .

Няма съвпадения

Отговорници:

Външни препратки:

Начална страница [www.cryptol.net]

Подобни пакети:

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

зависимости

препоръчани

предложени

enhances

dep: libc6 (>= 2.27) [riscv64]

GNU C Library: Shared libraries
също и виртуален пакет, предлаган от libc6-udeb
dep: libc6.1 (>= 2.32) [ia64]

GNU C Library: Shared libraries
също и виртуален пакет, предлаган от 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

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

Изтегляне за всички налични архитектури
Архитектура	Версия	Големина на пакета	Големина след инсталиране	Файлове
ia64 (неофициална архитектура)	2.8.0-1+b2	9 089,7 кБ	229 964,0 кБ	[списък на файловете]
riscv64 (неофициална архитектура)	2.8.0-1+b2	6 037,3 кБ	77 898,0 кБ	[списък на файловете]