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

パッケージ: libghc-cryptol-prof (2.8.0-1 など)

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.8.0-1+b2 4,019.6 kB48,900.0 kB [ファイル一覧]
arm64 2.8.0-1+b2 4,475.4 kB54,500.0 kB [ファイル一覧]
armel 2.8.0-1+b2 4,376.2 kB41,321.0 kB [ファイル一覧]
armhf 2.8.0-1+b2 4,294.3 kB40,228.0 kB [ファイル一覧]
i386 2.8.0-1+b2 4,070.4 kB36,991.0 kB [ファイル一覧]
mips64el 2.8.0-1+b1 5,626.3 kB77,276.0 kB [ファイル一覧]
mipsel 2.8.0-1+b1 5,203.9 kB54,041.0 kB [ファイル一覧]
ppc64el 2.8.0-1+b2 5,374.6 kB78,204.0 kB [ファイル一覧]
s390x 2.8.0-1+b3 4,961.3 kB68,271.0 kB [ファイル一覧]