cryptol 2.13.0-131
Architecture: | x86_64 |
---|---|
Repository: | Extra |
Description: | The Language of Cryptography |
Upstream URL: | https://www.cryptol.net |
License(s): | BSD |
Maintainers: |
Felix Yan |
Package Size: | 4.4 MB |
Installed Size: | 29.7 MB |
Last Packager: | Felix Yan |
Build Date: | 2023-06-04 21:00 UTC |
Signed By: | Felix Yan |
Signature Date: | 2023-06-04 21:03 UTC |
Last Updated: | 2023-06-04 22:18 UTC |
Dependencies (32)
- ghc-libs
- haskell-ansi-terminal
- haskell-arithmoi
- haskell-async
- haskell-base-compat
- haskell-blaze-html
- haskell-bv-sized
- haskell-cryptohash-sha1
- haskell-extra
- haskell-gitrev
- haskell-graphscc
- haskell-heredoc
- haskell-libbf
- haskell-memotrie
- haskell-monad-control
- haskell-monadlib
- haskell-optparse-applicative
- haskell-panic
- haskell-parameterized-utils
- haskell-prettyprinter
- haskell-sbv
- haskell-simple-smt
- haskell-strict
- haskell-temporary
- haskell-tf-random
- haskell-transformers-base
- haskell-what4
- z3
- alex (make)
- ghc (make)
- happy (make)
- uusi (make)