%FILENAME%
cryptol-3.3.0-133-x86_64.pkg.tar.zst

%NAME%
cryptol

%BASE%
cryptol

%VERSION%
3.3.0-133

%DESC%
The Language of Cryptography

%CSIZE%
5223173

%ISIZE%
36044636

%SHA256SUM%
cd7d4793de5a47b5b9e6753753a20f55415ca079adbc4901d6b9c30e1cc5892c

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqSkdcACgkQeGxj8zDXy5JlYg//cFuP1NVOaFyx7l+gp9CV5yHdrCdVWljfI46hXGxElhIN2L4MNXcegrjSfsWFRKv9MSYUceKFn+HC5IJULu1LY6TzkKwOFq+WqmyPtr9h+/ZMwGTLil4+lUXUfgz+qjyC2ttUm+fRI+KruuuBQi0tvtlyCt0omW0E2hM1NyMQPv2mqcuzxDR8P4YIoszVLNP9yImf0NDWGo0JQlhERxVWoCFJz6asd+cfbcq2WUNZ31+6sbC7Vp8UhBNJ/DvrooQe4X7FZ62VqbbjuyXykKFmipNgkBdPPbgW+HyMYJiR/4QEJ2OWYlVSbqWxlTIfqILsKJVUF+AKIvUftXdbXgFvmMjwfsMvkmoIHXK9iJ4uDptDV95RODRzlXsAkB7cobFMtfePSxGDXLSuYulCf+bv+7SMU1I2U3zLR5S8PN1VclOjdBvwGMnlqk7oQoz1eYkqlkXLIEwC7CNloMoBqaiVb6MrNiYPcPyJWGcAqsYZqgaiO6bglzQCv0MWoyPnuaETNfLajuWAa+XlaulYVDCcivL6EBihZ5jE9MAiyQabrFf/4o8KF8mduA16Mx14xfwpzPzmvuLQbny2vTo6FZfjZLGr4dqk6FaJhg+J9jT2/j8fwkogGf8EExL2rFAxPqfmQL7Vjba5Is0tVI2VsyYjSX6AaKk4sjpiSCg9NGaCcTg=

%URL%
https://tools.galois.com/cryptol

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1787990337

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

%DEPENDS%
ghc-libs
z3
haskell-ansi-terminal
haskell-arithmoi
haskell-async
haskell-base-compat
haskell-blaze-html
haskell-bv-sized
haskell-criterion-measurement
haskell-cryptohash-sha256
haskell-extra
haskell-file-embed
haskell-gitrev
haskell-graphscc
haskell-heredoc
haskell-hgmp
haskell-language-c99
haskell-language-c99-simple
haskell-libbf
haskell-libffi
haskell-memotrie
haskell-monad-control
haskell-monadlib
haskell-optparse-applicative
haskell-panic
haskell-parameterized-utils
haskell-pretty-show
haskell-prettyprinter
haskell-sbv
haskell-simple-smt
haskell-strict
haskell-temporary
haskell-tf-random
haskell-toml-parser
haskell-transformers-base
haskell-vector
haskell-what4

%MAKEDEPENDS%
ghc
uusi
alex
happy
haskell-tasty
haskell-tasty-hunit

