Пакет: 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.29)

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

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

Изтегляне за всички налични архитектури
Архитектура	Версия	Големина на пакета	Големина след инсталиране	Файлове
x32 (неофициална архитектура)	2.8.0-1+b3	12 731,2 кБ	50 875,0 кБ	[списък на файловете]