[ Источник: haskell-cryptol ]
Пакет: cryptol (2.8.0-1 и другие)
Ссылки для cryptol
Ресурсы Debian:
- Сообщения об ошибках
- Developer Information
- Debian журнал изменений
- Файл авторских прав
- Отслеживание заплат Debian
Исходный код haskell-cryptol:
- [haskell-cryptol_2.8.0-1.dsc]
- [haskell-cryptol_2.8.0.orig.tar.gz]
- [haskell-cryptol_2.8.0-1.debian.tar.xz]
Сопровождающие:
Внешние ресурсы:
- Сайт [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
|
|
|
|
-
- dep: libc6 (>= 2.29)
- библиотека GNU C: динамически подключаемые библиотеки
также виртуальный пакет, предоставляемый libc6-udeb
-
- dep: libffi7 (>= 3.3~20180313)
- библиотека для связывания программ написанных на разных языках
-
- dep: libgmp10
- библиотека для работы с числами произвольной точности
-
- dep: libtinfo6 (>= 6)
- низкоуровневая библиотека для работы с терминалом
-
- dep: z3
- theorem prover from Microsoft Research
Загрузка cryptol
| Архитектура | Версия | Размер пакета | В установленном виде | Файлы |
|---|---|---|---|---|
| amd64 | 2.8.0-1+b2 | 2 621,5 Кб | 17 977,0 Кб | [список файлов] |
| arm64 | 2.8.0-1+b2 | 3 423,6 Кб | 23 693,0 Кб | [список файлов] |
| armel | 2.8.0-1+b2 | 3 155,0 Кб | 20 139,0 Кб | [список файлов] |
| armhf | 2.8.0-1+b2 | 3 178,0 Кб | 20 099,0 Кб | [список файлов] |
| i386 | 2.8.0-1+b2 | 2 691,4 Кб | 14 592,0 Кб | [список файлов] |
| mips64el | 2.8.0-1+b1 | 6 765,6 Кб | 72 128,0 Кб | [список файлов] |
| mipsel | 2.8.0-1+b1 | 4 569,9 Кб | 50 057,0 Кб | [список файлов] |
| ppc64el | 2.8.0-1+b2 | 4 602,0 Кб | 47 814,0 Кб | [список файлов] |
| s390x | 2.8.0-1+b3 | 9 865,7 Кб | 68 045,0 Кб | [список файлов] |