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

%NAME%
cryptol

%BASE%
cryptol

%VERSION%
3.3.0-155

%DESC%
The Language of Cryptography

%CSIZE%
5223193

%ISIZE%
36044068

%SHA256SUM%
88a5018b6b1870d07c18dfee6626a12a5686ba877e0a86caab3559efa276cab3

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq/sbAACgkQeGxj8zDXy5Kq0Q//cyaxx56AHIPlwHp1l0Huo555VhDJVn7VKhLOcDu5GHGfUsUiOYtt0Oe+np1RRk/XopA3de0lXXMpN4aluPjJOdr8sZQCkAIto/PLJ5We/HMDOCe0jnj7mT87aHY80Yk/S+q/4VkCSRBhAf40RD/MdIKiUyVqAmvIoEtl3y2qfyoeLVyE8Tjk2lIsHztAeSR6VnxggzB4vC62v5GXuvzwcSqQFrCZvECuk4e0Q0OLPVISudTuBFrjXOC2p93t3OIM6QJ69w8o1D1cn4wlLCfbypjaa1a3rOhszhUvzA+CJwUWGX2qcy+8H/7gvn+c6BWPTmKvdTog91cR3KYdpXSnWw5ArXvLxNUtM8HiFFEMoqwwtBFe3r/ffScOHtfqA55+Db4yCXWjM40V/nQIu4kBdQUkQ72Ad4P2So3kwfs9bk31WDP+70BJ6NCXmgqLv3Ry3FTouOWI56e/sr2Ba1FFYmqibLJ0KhoUvxbyNApONRUpv0zfa2zFJHc8OEr2gBuB7jfdH7UDsnrJy9JAOr8VGc5iYAYDmUhvyPruCjH5iy0yqb25m286AkSe56/Ke0HQdhvva4LqKUHTmOEr7RcNGR8/EQjz0L1EeAeYBkVPJ5XDolk+z2bg6TfwptaPxXZYjQzvYtHbf4FuNr5vRNSoayWGAuJbC0rp+oWwrNlqen8=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1790947660

%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

