%FILENAME%
cryptol-2.12.0-53-x86_64.pkg.tar.zst

%NAME%
cryptol

%BASE%
cryptol

%VERSION%
2.12.0-53

%DESC%
The Language of Cryptography

%CSIZE%
4666562

%ISIZE%
31008077

%MD5SUM%
1de0b25d54ec5d2333848489581aa506

%SHA256SUM%
fe3faa99172fa2269e6547815b27a6f0e429f9b6d5505d83aece10a13f6c479a

%PGPSIG%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmNhMe4UHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwYNsg//VUdahuzuR5kiWKIG9vjfCO7udlOPQeI7cMEQ7JtHrBZtNSXs9eybB0AK9D4xtagEq+PPpz7C9JiIYIZmnQFagBwuaGnG/w17Rh0TILSd0v99Q8NApQe4T8fml9I9uNfOtmJgwbEsyKJ9vwwNjSJ5IGxM3D9ogra7pGTXuQ3ff6BXTAeObOzbgwrlZBr7P2UuQqzKfbvz13gICC2SryEUpIWdy/DNvxGTRNTLUYwXpNR/IILM9bZ4xTo0+1/JvElOa8I0+knsVwx8szHIj9NG+7dCuxSJWHnky7y8Uj7WwcZG1lhxAjQv/818FQLGzrwtIJApCRb24MoY3rmeCVyeB4Y3DRFSQE8+q8Xe44ewhKCirCNLkEQxnBMHVUFo+2HbsvR44Z3SoXZZy6+nD/rgvVOdrM2OWxaPNB6WUlm09cOfTcUjszmip5KgqHbFefLJFjlHW0mDg2OKj2uYw8YCG9+buLokcXYTVBReCBE7YXZ6YQ4BkrNo1Z6JIDMm9OOrDfrLfr59arbaTFVbfMWsMHvW//nlR7xyCdq7dbj0DeZ+p5oXtSbHgCZ16W9RJ1sGmiHociV933jrett3addlrNVfgaEb25m1hHICvIlzX6w4+ipIf0Agl+AmNsecIDUMGvHKcIiJ4o7oAeHO8hny1Zq4bkf5a/8Rs0StRLnDrHQ=

%URL%
https://www.cryptol.net

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1648857086

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
ghc-libs
z3
haskell-arithmoi
haskell-async
haskell-base-compat
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-parameterized-utils
haskell-panic
haskell-prettyprinter
haskell-sbv
haskell-simple-smt
haskell-strict
haskell-temporary
haskell-tf-random
haskell-transformers-base
haskell-what4
haskell-ansi-terminal
haskell-blaze-html

%MAKEDEPENDS%
ghc
uusi
alex
happy

