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

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

libghc-cryptol-prof に関するリンク

Screenshot

Debian の資源:

haskell-cryptol ソースパッケージをダウンロード:

メンテナ:

外部の資源:

類似のパッケージ:

domain-specific language of cryptography; profiling libraries

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, compiled for profiling. See http://www.haskell.org/ for more information on Haskell.

その他の libghc-cryptol-prof 関連パッケージ

  • 依存
  • 推奨
  • 提案
  • enhances

libghc-cryptol-prof のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ バージョン パッケージサイズ インストールサイズ ファイル
amd64 2.6.0-3+b1 3,875.0 kB46,978.0 kB [ファイル一覧]
i386 2.6.0-3+b1 3,898.1 kB35,538.0 kB [ファイル一覧]