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

%NAME%
cryptol

%BASE%
cryptol

%VERSION%
2.13.0-53

%DESC%
The Language of Cryptography

%CSIZE%
4659096

%ISIZE%
31127594

%MD5SUM%
736eb4e298577ac2a5c647bf52276cf4

%SHA256SUM%
8ced7d54c8892c9932c9682739c1533d3fb17cb99efddef136bba6932dd1bccc

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmNOGwIACgkQeGxj8zDXy5KrDw//W1vsYbfqZE9raxQ7I1wv1uoPalGdKHyYhCGIlh3g3ISxzvtrJZoPWgSJpcNaIUL7pRy07Qtjxi96l69CBPCNa92aQ+KT8p1fdkT3PP6lXrZxPbYnA8YMM6wa20eVUBcgmonRo+VgxkxuIZ9AGIWEWA1c0qxwutdn6wpsI40kpNDLBM9EMx0W5knN0uFDdlF/q2CSK6eJpANgtuI8gcnSylPHeSdxnoZZDIoC0FeoMiUq9g3Hek8cpPXgEPpZ5qot1XgYtax31XwlIlSR8XwAzmOegW1fASghQrasT3TJLGtY/eLsjKbTFrCLmCGoq2pFQ4pBypT9Seehr1LN44diFClFYtjdqwg0vRkOY4QdOqyoyQ1AytgkQIFTFS3pws2cXyyA/oHfg9Itk4W4wDAs2eorL/l7Fb6T1VCPcfpwnXmKt/X4QHZU7HSpmNfx4udod6upuRcGXFoPT5sjpaAjpOxLyb6yoQmjAT5vbi/VNAl2r13e7+YtOR++7uNttLpht/n9rHYEq9mV2lNfHEoCyEQ+tn/4ql1oFdfQMvGL33s3WivxBGzr1IXL7xmYrzCW+YAZnCy/cpZ+NsaSdfmHQulI9MswubYqI0yRGVCEIzJLw4i0q5tvf7nwGwd80bX8w6IhMoPR1v/+UTRyTcxo4x/D3QPiRafHlWEY38weL6Y=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1666062675

%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

