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

%NAME%
cryptol

%BASE%
cryptol

%VERSION%
3.3.0-165

%DESC%
The Language of Cryptography

%CSIZE%
5223659

%ISIZE%
36039868

%SHA256SUM%
d53ccd93118d45af2b7d899030db2249a0e687f1d9baababd080be913c6e0c81

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrF92oACgkQeGxj8zDXy5LJ6g/8C2gu+hH5iJeeyFbaiQCnhP0GiALChaB3js2JPDBah2BeTLE5jiGldK6QCC2bLOTU15uM3It0qK25fALg+t04gt7cPNJWot/NFnilYgVAteExmnh+YKGNGDJ4nBfU/zahWIOh/3FUp5eGq7188TrZgLofzDC012UaH068GZQLYJgbd/fwiyRxw6ei9kMNage6OHKACwQIOuaVtKfuJitomtAkUS1/zYhRDfzYw2fIKwrnwJAk4yeyhmXu9VtDCkrPQpq7NMvZTEw6zzsERBqM1rLxqlwutl+FULe4d3Ay9FwOA78LC2EisBPga4eA64q5PI+d0BwJWINbcdhjDk7yxNH+zzWwGzeAj0Kdrxv8kqBNZGGMeV2U6k6bnVPV/hJHFskuSVc7wVHMi1IG22PlrY5Oo786wA1oYlMA2r6tj3WL3pvb2Vp51T9GijtJZkZ5peNyKuDBnWoWl3ZTzXYKhQFyAnT9jB8aTGBt9Kd7T0k8ZStGxsnaEz2GXPVCZOmOcBVe5Qopfi9EwrTySPQhin5q49F2fPud+eq46spdMVDpnvlQd7d7DV2kl8b6/MOUa7q8BOzuhTk66tly2lbpnmW+Afx1p8vXitiAGdc5cOXLpuB2focS5kknUxr1Z1eYCkZw4h8Q5Jhj9RNRaq8DvNW/A1sL/NNjQQ92ae1dibU=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1791358686

%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

