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

%NAME%
cryptol

%BASE%
cryptol

%VERSION%
3.3.0-100

%DESC%
The Language of Cryptography

%CSIZE%
5221007

%ISIZE%
36081396

%SHA256SUM%
b5c3d4286f9ff54e3d2fb3d2b774988c2625826c3d39e93ba90806f9112896d2

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo37K0ACgkQeGxj8zDXy5I+/w/9GLpPwuT11F8xV5cZ398fZpEzOXzxh1bImRiB7SEh+nhy+v/fUDTMTKv3od9Scw5tL3E0HihtEWjQz/nhDCW1EAUBt2YZwQgVSb9rg5NPAb40cajbCzCQDDeULnvjj8sndwk/3xEeMZ6nPmtwunB9wO5h3K66DiZhBIRgiE5s3RA9XGm9DIwd7Ni65w2D+c0VRcozhbP6SbZlomXnMXH1zJWzsT/mGUWPe3BSBqk2WDOoXm0zJIyLXl/mlaWY5iCl2pDMnnptXKNPbazbQda4ELrN6j7BCPcmaRbLC7oVQgX0YncWDVrlQL3AEnp24YNj2lCdUw6RX9G+7BbXqJIxezwlyajwX15we6HrQeBv5G+pMBA6No2xTG76FvecN47Gls0uEAonACcV4aj/vt0oG8nYSo/6COHSux474zCFyJ04tblgeG4o4+QjT7kDjXmpnPdVX/CfhAe4y0793YbbDupc5kVEWQs8QU9C8wxwBOOwr+MZbTzx4X+Ss9BH1E9u7snIHV4NiEX+5XGsPUkErb95IGszKSDoX8otzsxYzIRUzwme7s900YDT7XHX0KW8c6vgFh8taOMLxADAUGOY1jM/L77oiVqqKmbjeZ5iIojFeNhGNQwcac1I0XPUbK5JCjlPTEZr/tM8biSr2KZckWQyyOP0SnPKCh5nvEdEuuI=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1782049802

%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

