[ 源代码: haskell-cryptol ]
软件包:cryptol(2.8.0-1 以及其他的)
cryptol 的相关链接
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 有关的软件包
|
|
|
|
下载 cryptol
硬件架构 | 版本 | 软件包大小 | 安装后大小 | 文件 |
---|---|---|---|---|
amd64 | 2.8.0-1+b2 | 2,621.5 kB | 17,977.0 kB | [文件列表] |
arm64 | 2.8.0-1+b2 | 3,423.6 kB | 23,693.0 kB | [文件列表] |
armel | 2.8.0-1+b2 | 3,155.0 kB | 20,139.0 kB | [文件列表] |
armhf | 2.8.0-1+b2 | 3,178.0 kB | 20,099.0 kB | [文件列表] |
i386 | 2.8.0-1+b2 | 2,691.4 kB | 14,592.0 kB | [文件列表] |
mips64el | 2.8.0-1+b1 | 6,765.6 kB | 72,128.0 kB | [文件列表] |
mipsel | 2.8.0-1+b1 | 4,569.9 kB | 50,057.0 kB | [文件列表] |
ppc64el | 2.8.0-1+b2 | 4,602.0 kB | 47,814.0 kB | [文件列表] |
s390x | 2.8.0-1+b3 | 9,865.7 kB | 68,045.0 kB | [文件列表] |