パッケージ: cryptol (2.8.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)

  GNU C ライブラリ: 共有ライブラリ
  以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb

• dep: libffi7 (>= 3.3~20180313)

  Foreign Function Interface ランタイムライブラリ

• dep: libgmp10

  多倍長精度演算ライブラリ

• dep: libtinfo6 (>= 6)

  端末を扱う低レベルの terminfo 共有ライブラリ

• dep: z3

  theorem prover from Microsoft Research

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	[ファイル一覧]