cryptol 3.3.0-19
| アーキテクチャ: | x86_64 |
|---|---|
| リポジトリ: | extra |
| ベースパッケージ: | cryptol |
| 説明: | The Language of Cryptography |
| 上流 URL: | https://tools.galois.com/cryptol |
| ライセンス: | BSD-3-Clause |
| パッケージ容量: | 5.2 MB |
| インストール容量: | 36.0 MB |
| パッケージ作成者: | Felix Yan |
| 最終更新: | 2025-10-03 15:55:52 JST |
依存パッケージ (43)
- ghc-libs
- z3
- haskell-ansi-terminal
- haskell-arithmoi
- haskell-async
- haskell-base-compat
- haskell-blaze-html
- haskell-bv-sized
- haskell-criterion-measurement
- haskell-cryptohash-sha256
- haskell-extra
- haskell-file-embed
- haskell-gitrev
- haskell-graphscc
- haskell-heredoc
- haskell-hgmp
- haskell-language-c99
- haskell-language-c99-simple
- haskell-libbf
- haskell-libffi
- haskell-memotrie
- haskell-monad-control
- haskell-monadlib
- haskell-optparse-applicative
- haskell-panic
- haskell-parameterized-utils
- haskell-pretty-show
- haskell-prettyprinter
- haskell-sbv
- haskell-simple-smt
- haskell-strict
- haskell-temporary
- haskell-tf-random
- haskell-toml-parser
- haskell-transformers-base
- haskell-vector
- haskell-what4
- ghc (ビルド)
- uusi (ビルド)
- alex (ビルド)
- happy (ビルド)
- haskell-tasty (ビルド)
- haskell-tasty-hunit (ビルド)