cryptol 3.3.0-88
Package Actions
- Source Files / View Changes
- Bug Reports / Add New Bug
- Search Wiki / Manual Pages
- Security Issues
- Flagged out-of-date on 2026-06-03
- Download From Mirror
| Architecture: | x86_64 |
|---|---|
| Repository: | Extra-Staging |
| Description: | The Language of Cryptography |
| Upstream URL: | https://tools.galois.com/cryptol |
| License(s): | BSD-3-Clause |
| Maintainers: |
Felix Yan |
| Package Size: | 5.0 MB |
| Installed Size: | 34.4 MB |
| Last Packager: | Felix Yan |
| Build Date: | 2026-06-03 14:38 UTC |
| Signed By: | Felix Yan |
| Signature Date: | 2026-06-03 14:42 UTC |
| Last Updated: | 2026-06-03 14:54 UTC |
Dependencies (43)
- ghc-libs
- haskell-ansi-terminal (staging)
- haskell-arithmoi (staging)
- haskell-async (staging)
- haskell-base-compat
- haskell-blaze-html (staging)
- haskell-bv-sized (staging)
- haskell-criterion-measurement (staging)
- haskell-cryptohash-sha256 (staging)
- haskell-extra (staging)
- haskell-file-embed
- haskell-gitrev
- haskell-graphscc
- haskell-heredoc
- haskell-hgmp (staging)
- haskell-language-c99
- haskell-language-c99-simple
- haskell-libbf (staging)
- haskell-libffi
- haskell-memotrie (staging)
- haskell-monad-control (staging)
- haskell-monadlib
- haskell-optparse-applicative (staging)
- haskell-panic
- haskell-parameterized-utils (staging)
- haskell-pretty-show
- haskell-prettyprinter (staging)
- haskell-sbv (staging)
- haskell-simple-smt
- haskell-strict (staging)
- haskell-temporary (staging)
- haskell-tf-random (staging)
- haskell-toml-parser (staging)
- haskell-transformers-base (staging)
- haskell-vector (staging)
- haskell-what4 (staging)
- z3
- alex (make)
- ghc (make)
- happy (make)
- haskell-tasty (staging) (make)
- haskell-tasty-hunit (staging) (make)
- uusi (staging) (make)