Пакет: 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.29) [не alpha, amd64, arm64, ia64, mips64el, ppc64el, riscv64]

  библиотека GNU C: динамически подключаемые библиотеки
  также виртуальный пакет, предоставляемый libc6-udeb

  dep: libc6 (>= 2.34) [amd64, arm64, mips64el, ppc64el, riscv64]

• dep: libc6.1 (>= 2.29) [alpha]

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

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

• dep: libffi8 (>= 3.4)

  библиотека для связывания программ написанных на разных языках

• dep: libgmp10 (>= 2:6.2.1+dfsg) [не amd64, arm64, mips64el, ppc64el, riscv64, x32]

  библиотека для работы с числами произвольной точности

  dep: libgmp10 (>= 2:6.3.0+dfsg) [amd64, arm64, mips64el, ppc64el, riscv64]

• dep: libtinfo6 (>= 6)

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

• dep: sgml-base (>= 1.28) [x32]

  инфраструктура и поддержка файлов каталогов SGML

• dep: z3

  theorem prover from Microsoft Research

• dep: zlib1g (>= 1:1.1.4) [amd64, arm64, mips64el, ppc64el, riscv64]

  библиотека сжатия

Загрузка cryptol

Загрузить для всех доступных архитектур

Архитектура	Версия	Размер пакета	В установленном виде	Файлы
alpha (неофициальный перенос)	2.8.0-1+b2	7 320,8 Кб	71 742,0 Кб	[список файлов]
amd64	3.0.0-1+b2	8 970,7 Кб	61 272,0 Кб	[список файлов]
arm64	3.0.0-1+b3	9 006,5 Кб	70 459,0 Кб	[список файлов]
armel	2.8.0-1+b3	3 174,0 Кб	20 079,0 Кб	[список файлов]
armhf	2.8.0-1+b3	3 213,0 Кб	20 091,0 Кб	[список файлов]
hppa (неофициальный перенос)	2.8.0-1+b3	6 329,8 Кб	71 793,0 Кб	[список файлов]
i386	2.8.0-1+b3	2 691,6 Кб	14 592,0 Кб	[список файлов]
ia64 (неофициальный перенос)	2.8.0-1+b2	9 089,7 Кб	229 964,0 Кб	[список файлов]
m68k (неофициальный перенос)	2.8.0-1+b3	4 173,7 Кб	41 323,0 Кб	[список файлов]
mips64el	3.0.0-1+b2	14 247,2 Кб	149 889,0 Кб	[список файлов]
ppc64 (неофициальный перенос)	2.8.0-1+b3	4 439,4 Кб	57 383,0 Кб	[список файлов]
ppc64el	3.0.0-1+b3	10 000,4 Кб	103 384,0 Кб	[список файлов]
riscv64	3.0.0-1+b2	11 300,6 Кб	75 732,0 Кб	[список файлов]
s390x	2.8.0-1+b4	9 849,1 Кб	68 045,0 Кб	[список файлов]
sparc64 (неофициальный перенос)	2.8.0-1+b3	5 487,0 Кб	94 183,0 Кб	[список файлов]
x32 (неофициальный перенос)	2.8.0-1+b3	12 731,2 Кб	50 875,0 Кб	[список файлов]