cryptol 3.3.0-25
| Architecture: | x86_64 |
|---|---|
| Repository: | Extra-Testing |
| 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: | 2025-10-14 21:24 UTC |
| Signed By: | Felix Yan |
| Signature Date: | 2025-10-14 21:26 UTC |
| Last Updated: | 2025-10-14 22:57 UTC |
Dependencies (43)
- ghc-libs (testing)
- haskell-ansi-terminal (testing)
- haskell-arithmoi (testing)
- haskell-async (testing)
- haskell-base-compat (testing)
- haskell-blaze-html (testing)
- haskell-bv-sized (testing)
- haskell-criterion-measurement (testing)
- haskell-cryptohash-sha256 (testing)
- haskell-extra (testing)
- haskell-file-embed (testing)
- haskell-gitrev (testing)
- haskell-graphscc (testing)
- haskell-heredoc (testing)
- haskell-hgmp (testing)
- haskell-language-c99 (testing)
- haskell-language-c99-simple (testing)
- haskell-libbf (testing)
- haskell-libffi (testing)
- haskell-memotrie (testing)
- haskell-monad-control (testing)
- haskell-monadlib (testing)
- haskell-optparse-applicative (testing)
- haskell-panic (testing)
- haskell-parameterized-utils (testing)
- haskell-pretty-show (testing)
- haskell-prettyprinter (testing)
- haskell-sbv (testing)
- haskell-simple-smt (testing)
- haskell-strict (testing)
- haskell-temporary (testing)
- haskell-tf-random (testing)
- haskell-toml-parser (testing)
- haskell-transformers-base (testing)
- haskell-vector (testing)
- haskell-what4 (testing)
- z3
- alex (testing) (make)
- ghc (testing) (make)
- happy (testing) (make)
- haskell-tasty (testing) (make)
- haskell-tasty-hunit (testing) (make)
- uusi (testing) (make)