すべてのオプション
stretch  ] [  buster  ] [  sid  ]
[ ソース: haskell-cryptol  ]

パッケージ: libghc-cryptol-dev (2.6.0-3 など)

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 のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ バージョン パッケージサイズ インストールサイズ ファイル
amd64 2.6.0-3+b1 4,063.7 kB45,386.0 kB [ファイル一覧]
i386 2.6.0-3+b1 3,952.9 kB37,330.0 kB [ファイル一覧]