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

%NAME%
cryptol

%BASE%
cryptol

%VERSION%
3.3.0-83

%DESC%
The Language of Cryptography

%CSIZE%
5220165

%ISIZE%
36003290

%SHA256SUM%
048d8d3d3ca7ff537f020d97697f81810d2744c78974e35bd3fb65d1f4654f40

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoEi6UACgkQeGxj8zDXy5KZqxAAipOqS1T3Sxrq2Rl3ZFa4hkt1e1UAr9WvRQkML1yUvb4uxRH69h7exFg3pb/HL/xYPVQG+U6pTN6FqFm1fopehwzRMG/HoeyqyFHz/4suqsEAceiVUT0dLdwHoD50vL8QkhvSHd+w9YCqO6BFxQRXHNCHvUpj+is3obSKp9+W95Oijamifj4yRBdlbqHkXzpIgS5jhlMqn0JrYJaF4Do3sDZ/+MfObQJvFEW5XDJJUbq6fMm03MNVdfKMeje6O7W+Vw3F76PoTWWg9AA5XVgVNoVkE/AxbFzJxYCZe9S06aHaoEbU8iENlEDkVlD6en1P1obBkOBGZZIwOkGuU+eK+iN85rzi1xvVuRjng0n3vdVcKDi64JhtjX24NS4J1+58uHY7T0/qXOnrdA/luQBpAegyQ5F5K90NoY8HDnX3FK3QY+1wxCS23wcKjM3p+yRo6rmeEk/J2slmntbqscGk2t5FmawP/a7Z61kUxDZLXImYdaO6NsGfbwXNkNcGfNhTXgwaU0MRka0DpEwOXloxEJFBTFP2y6iIqfrClBga2mDf+AWhZSi8jTjz6OaXMTMKfdoNKzaoJpLk2E1WiJnVE906hbrosrrrl5evxpJ0g5/weQ081xQQyg4Seywte85vg3DVKs8kk8rGkzzrJoEAenorXr/lN1lk2tRVDHP9TzM=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1778682332

%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

