Пакет: 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: динамически подключаемые библиотеки
также виртуальный пакет, предоставляемый libc6-udeb
dep: libc6.1 (>= 2.32) [ia64]

библиотека GNU C: динамически подключаемые библиотеки
также виртуальный пакет, предоставляемый libc6.1-udeb
dep: libffi8 (>= 3.4)

библиотека для связывания программ написанных на разных языках
dep: libgmp10 (>= 2:6.2.1+dfsg)

библиотека для работы с числами произвольной точности
dep: libtinfo6 (>= 6)

низкоуровневая библиотека для работы с терминалом
dep: z3

средство доказательства теорем от 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 Кб	[список файлов]