cryptol 2.8.0-132
| Architecture: | x86_64 |
|---|---|
| Repository: | community |
| Base Package: | cryptol |
| Description: | The Language of Cryptography |
| Upstream URL: | https://www.cryptol.net |
| License(s): | BSD |
| Package Size: | 2.7 MB |
| Installed Size: | 18.9 MB |
| Last Packager: | Felix Yan |
| Last Updated: | 2020-06-04 17:45:54 JST |
Dependencies (22)
- ghc-libs
- z3
- haskell-base-compat
- haskell-cryptohash-sha1
- haskell-gitrev
- haskell-graphscc
- haskell-haskeline0.7
- haskell-heredoc
- haskell-monad-control
- haskell-monadlib
- haskell-panic
- haskell-random
- haskell-sbv
- haskell-simple-smt
- haskell-strict
- haskell-tf-random
- haskell-transformers-base
- haskell-ansi-terminal
- haskell-blaze-html
- ghc (make)
- alex (make)
- happy (make)