все параметры
buster  ] [  bullseye  ] [  sid  ]
[ Источник: haskell-cryptol  ]

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

Ссылки для libghc-cryptol-dev

Screenshot

Ресурсы Debian:

Исходный код 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.

This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.

Другие пакеты, относящиеся к libghc-cryptol-dev

  • зависимости
  • рекомендации
  • предложения
  • enhances

Загрузка libghc-cryptol-dev

Загрузить для всех доступных архитектур
Архитектура Версия Размер пакета В установленном виде Файлы
alpha (неофициальный перенос) 2.8.0-1+b2 6 656,7 Кб83 771,0 Кб [список файлов]
amd64 3.0.0-1+b2 7 161,3 Кб71 947,0 Кб [список файлов]
arm64 3.0.0-1+b3 7 810,2 Кб86 431,0 Кб [список файлов]
armel 2.8.0-1+b3 4 600,2 Кб46 894,0 Кб [список файлов]
armhf 2.8.0-1+b3 4 522,5 Кб46 342,0 Кб [список файлов]
hppa (неофициальный перенос) 2.8.0-1+b3 8 015,0 Кб88 233,0 Кб [список файлов]
i386 2.8.0-1+b3 4 069,6 Кб38 172,0 Кб [список файлов]
ia64 (неофициальный перенос) 2.8.0-1+b2 7 522,2 Кб169 676,0 Кб [список файлов]
m68k (неофициальный перенос) 2.8.0-1+b3 6 664,5 Кб63 238,0 Кб [список файлов]
mips64el 3.0.0-1+b2 10 663,9 Кб132 632,0 Кб [список файлов]
ppc64 (неофициальный перенос) 2.8.0-1+b3 5 826,1 Кб85 362,0 Кб [список файлов]
ppc64el 3.0.0-1+b3 10 710,1 Кб127 641,0 Кб [список файлов]
riscv64 3.0.0-1+b2 14 082,1 Кб157 944,0 Кб [список файлов]
s390x 2.8.0-1+b4 6 466,6 Кб78 004,0 Кб [список файлов]
sparc64 (неофициальный перенос) 2.8.0-1+b3 7 034,8 Кб117 170,0 Кб [список файлов]
x32 (неофициальный перенос) 2.8.0-1+b3 7 800,1 Кб66 914,0 Кб [список файлов]