[ ソース: haskell-cryptol ]
パッケージ: libghc-cryptol-dev (2.4.0-3)
libghc-cryptol-dev に関するリンク
Trisquel の資源:
haskell-cryptol ソースパッケージをダウンロード:
- [haskell-cryptol_2.4.0-3.dsc]
- [haskell-cryptol_2.4.0.orig.tar.gz]
- [haskell-cryptol_2.4.0-3.debian.tar.xz]
メンテナ:
Original Maintainers:
- Debian Haskell Group (メールアーカイブ)
- Clint Adams
外部の資源:
- ホームページ [www.cryptol.net]
類似のパッケージ:
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 関連パッケージ
|
|
|
-
- dep: libc6 (>= 2.2.5) [amd64]
- GNU C Library: Shared libraries
以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb
- dep: libc6 (>= 2.3.6-6~) [i386]
-
- dep: libghc-array-dev-0.5.1.1-4c8b7 [i386]
- 以下のパッケージによって提供される仮想パッケージです: ghc
-
- dep: libghc-array-dev-0.5.1.1-581e7 [amd64]
- 以下のパッケージによって提供される仮想パッケージです: ghc
-
- dep: libghc-async-dev-2.1.1.1-a35d4 [amd64]
- 以下のパッケージによって提供される仮想パッケージです: libghc-async-dev
-
- dep: libghc-async-dev-2.1.1.1-dfd28 [i386]
- 以下のパッケージによって提供される仮想パッケージです: libghc-async-dev
-
- dep: libghc-base-compat-dev-0.9.3-4e385 [i386]
- 以下のパッケージによって提供される仮想パッケージです: libghc-base-compat-dev
-
- dep: libghc-base-compat-dev-0.9.3-8575a [amd64]
- 以下のパッケージによって提供される仮想パッケージです: libghc-base-compat-dev
-
- dep: libghc-base-dev-4.9.1.0-5a696 [i386]
- 以下のパッケージによって提供される仮想パッケージです: ghc
-
- dep: libghc-base-dev-4.9.1.0-d28d6 [amd64]
- 以下のパッケージによって提供される仮想パッケージです: ghc
-
- dep: libghc-bytestring-dev-0.10.8.1-45b2c [amd64]
- 以下のパッケージによって提供される仮想パッケージです: ghc
-
- dep: libghc-bytestring-dev-0.10.8.1-a98c5 [i386]
- 以下のパッケージによって提供される仮想パッケージです: ghc
-
- dep: libghc-containers-dev-0.5.7.1-cd211 [amd64]
- 以下のパッケージによって提供される仮想パッケージです: ghc
-
- dep: libghc-containers-dev-0.5.7.1-ed950 [i386]
- 以下のパッケージによって提供される仮想パッケージです: ghc
-
- dep: libghc-deepseq-dev-1.4.2.0-ab902 [i386]
- 以下のパッケージによって提供される仮想パッケージです: ghc
-
- dep: libghc-deepseq-dev-1.4.2.0-fb727 [amd64]
- 以下のパッケージによって提供される仮想パッケージです: ghc
-
- dep: libghc-directory-dev-1.3.0.0-41ad6 [amd64]
- 以下のパッケージによって提供される仮想パッケージです: ghc
-
- dep: libghc-directory-dev-1.3.0.0-b5c22 [i386]
- 以下のパッケージによって提供される仮想パッケージです: ghc
-
- dep: libghc-filepath-dev-1.4.1.1-32f1a [i386]
- 以下のパッケージによって提供される仮想パッケージです: ghc
-
- dep: libghc-filepath-dev-1.4.1.1-59c71 [amd64]
- 以下のパッケージによって提供される仮想パッケージです: ghc
-
- dep: libghc-gitrev-dev-1.3.1-18274 [amd64]
- 以下のパッケージによって提供される仮想パッケージです: libghc-gitrev-dev
-
- dep: libghc-gitrev-dev-1.3.1-c4ef9 [i386]
- 以下のパッケージによって提供される仮想パッケージです: libghc-gitrev-dev
-
- dep: libghc-graphscc-dev-1.0.4-82833 [amd64]
- 以下のパッケージによって提供される仮想パッケージです: libghc-graphscc-dev
-
- dep: libghc-graphscc-dev-1.0.4-fed3d [i386]
- 以下のパッケージによって提供される仮想パッケージです: libghc-graphscc-dev
-
- dep: libghc-heredoc-dev-0.2.0.0-1b6cf [i386]
- 以下のパッケージによって提供される仮想パッケージです: libghc-heredoc-dev
-
- dep: libghc-heredoc-dev-0.2.0.0-9f4f0 [amd64]
- 以下のパッケージによって提供される仮想パッケージです: libghc-heredoc-dev
-
- dep: libghc-monad-control-dev-1.0.2.2-1a6e3 [i386]
- 以下のパッケージによって提供される仮想パッケージです: libghc-monad-control-dev
-
- dep: libghc-monad-control-dev-1.0.2.2-548a1 [amd64]
- 以下のパッケージによって提供される仮想パッケージです: libghc-monad-control-dev
-
- dep: libghc-monadlib-dev-3.7.3-009d8 [amd64]
- 以下のパッケージによって提供される仮想パッケージです: libghc-monadlib-dev
-
- dep: libghc-monadlib-dev-3.7.3-d3fd1 [i386]
- 以下のパッケージによって提供される仮想パッケージです: libghc-monadlib-dev
-
- dep: libghc-old-time-dev-1.1.0.3-a85e0 [amd64]
- 以下のパッケージによって提供される仮想パッケージです: libghc-old-time-dev
-
- dep: libghc-old-time-dev-1.1.0.3-d6447 [i386]
- 以下のパッケージによって提供される仮想パッケージです: libghc-old-time-dev
-
- dep: libghc-presburger-dev-1.3.1-43796 [amd64]
- 以下のパッケージによって提供される仮想パッケージです: libghc-presburger-dev
-
- dep: libghc-presburger-dev-1.3.1-9a101 [i386]
- 以下のパッケージによって提供される仮想パッケージです: libghc-presburger-dev
-
- dep: libghc-pretty-dev-1.1.3.3-912de [amd64]
- 以下のパッケージによって提供される仮想パッケージです: ghc
-
- dep: libghc-pretty-dev-1.1.3.3-92eaa [i386]
- 以下のパッケージによって提供される仮想パッケージです: ghc
-
- dep: libghc-process-dev-1.4.3.0-7d693 [i386]
- 以下のパッケージによって提供される仮想パッケージです: ghc
-
- dep: libghc-process-dev-1.4.3.0-996f5 [amd64]
- 以下のパッケージによって提供される仮想パッケージです: ghc
-
- dep: libghc-quickcheck-dev-2.9.2-13014 [amd64]
- 以下のパッケージによって提供される仮想パッケージです: libghc-quickcheck2-dev
-
- dep: libghc-quickcheck-dev-2.9.2-b6676 [i386]
- 以下のパッケージによって提供される仮想パッケージです: libghc-quickcheck2-dev
-
- dep: libghc-random-dev-1.1-4f44e [amd64]
- 以下のパッケージによって提供される仮想パッケージです: libghc-random-dev
-
- dep: libghc-random-dev-1.1-a6fcb [i386]
- 以下のパッケージによって提供される仮想パッケージです: libghc-random-dev
-
- dep: libghc-sbv-dev-5.14-db0b6 [amd64]
- 以下のパッケージによって提供される仮想パッケージです: libghc-sbv-dev
-
- dep: libghc-sbv-dev-5.14-df2ff [i386]
- 以下のパッケージによって提供される仮想パッケージです: libghc-sbv-dev
-
- dep: libghc-simple-smt-dev-0.6.0-13470 [i386]
- 以下のパッケージによって提供される仮想パッケージです: libghc-simple-smt-dev
-
- dep: libghc-simple-smt-dev-0.6.0-53604 [amd64]
- 以下のパッケージによって提供される仮想パッケージです: libghc-simple-smt-dev
-
- dep: libghc-smtlib-dev-1.0.8-0bea9 [amd64]
- 以下のパッケージによって提供される仮想パッケージです: libghc-smtlib-dev
-
- dep: libghc-smtlib-dev-1.0.8-b022b [i386]
- 以下のパッケージによって提供される仮想パッケージです: libghc-smtlib-dev
-
- dep: libghc-syb-dev-0.7-caee6 [i386]
- 以下のパッケージによって提供される仮想パッケージです: libghc-syb-dev
-
- dep: libghc-syb-dev-0.7-ef079 [amd64]
- 以下のパッケージによって提供される仮想パッケージです: libghc-syb-dev
-
- dep: libghc-template-haskell-dev-2.11.1.0-14f6d [amd64]
- 以下のパッケージによって提供される仮想パッケージです: ghc
-
- dep: libghc-template-haskell-dev-2.11.1.0-ae950 [i386]
- 以下のパッケージによって提供される仮想パッケージです: ghc
-
- dep: libghc-text-dev-1.2.2.2-4f564 [i386]
- 以下のパッケージによって提供される仮想パッケージです: libghc-text-dev
-
- dep: libghc-text-dev-1.2.2.2-5429b [amd64]
- 以下のパッケージによって提供される仮想パッケージです: libghc-text-dev
-
- dep: libghc-tf-random-dev-0.5-37484 [i386]
- 以下のパッケージによって提供される仮想パッケージです: libghc-tf-random-dev
-
- dep: libghc-tf-random-dev-0.5-a063e [amd64]
- 以下のパッケージによって提供される仮想パッケージです: libghc-tf-random-dev
-
- dep: libghc-transformers-base-dev-0.4.4-95437 [amd64]
- 以下のパッケージによって提供される仮想パッケージです: libghc-transformers-base-dev
-
- dep: libghc-transformers-base-dev-0.4.4-c513e [i386]
- 以下のパッケージによって提供される仮想パッケージです: libghc-transformers-base-dev
-
- dep: libghc-transformers-dev-0.5.2.0-1d020 [amd64]
- 以下のパッケージによって提供される仮想パッケージです: ghc
-
- dep: libghc-transformers-dev-0.5.2.0-e204f [i386]
- 以下のパッケージによって提供される仮想パッケージです: ghc
-
- dep: libghc-utf8-string-dev-1.0.1.1-78df6 [i386]
- 以下のパッケージによって提供される仮想パッケージです: libghc-utf8-string-dev
-
- dep: libghc-utf8-string-dev-1.0.1.1-9093e [amd64]
- 以下のパッケージによって提供される仮想パッケージです: libghc-utf8-string-dev
-
- dep: libgmp10
- Multiprecision arithmetic library
-
- sug: libghc-cryptol-doc
- domain-specific language of cryptography; documentation
-
- sug: libghc-cryptol-prof
- domain-specific language of cryptography; profiling libraries