Skip to content
Sections
>> Trisquel >> パッケージ >> nabia >> utils >> cryptol
etiona  ] [  nabia  ] [  aramo  ]
[ ソース: haskell-cryptol  ]

パッケージ: cryptol (2.6.0-4build2)

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: libatomic1 (>= 4.8)
    support library providing __atomic built-in functions
  • dep: libc6 (>= 2.29)
    GNU C Library: Shared libraries
    以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb
  • dep: libffi7 (>= 3.3~20180313)
    Foreign Function Interface library runtime
  • dep: libgmp10
    Multiprecision arithmetic library
  • dep: libtinfo6 (>= 6)
    shared low-level terminfo library for terminal handling
  • dep: z3
    theorem prover from Microsoft Research

cryptol のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ パッケージサイズ インストールサイズ ファイル
amd64 2,320.3 kB15245 kB [ファイル一覧]