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

%NAME%
cryptol

%BASE%
cryptol

%VERSION%
3.3.0-94

%DESC%
The Language of Cryptography

%CSIZE%
5221049

%ISIZE%
36004059

%SHA256SUM%
6d768ed7f3e5ee614bad456d0f8c96325e0e9b0defe8087acb383d58721bb6b4

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo0UH0ACgkQeGxj8zDXy5JOcg//akH7EFuLQNGYKlFVsmrvy0NnPUAcCb8YCfqRE1cmmxYDkZXThJPfxo4WN76pw2vXmWBB2vfDMnHBHGykEENkjJ5KOACkcQmkv8jZBHWhDl8DiCX7E2TNBAPoRogp9w3/kr6eNEN/O8aDYXsc+werjtpZTJS5HKnwi9Xj5/MWhsgys1IYcqewM1LItMKO6VpFxuGLugdmqi3u3yp794FEW8osXFAdlG6pyN6yWJq+II3uKBtchIVc6EIh42BfBcJ/Ey1/pE2ZZ+EeVCnS3ucghSVrscm8G/CwEpYlj/z1rrVA95X4VPf58XD+kuVFQ1UTlJuP5EKw4nAMOQvSz4HOJuuDxynYx8mf96tOgA9ST307/Ad+AzIDQSj9ps3oeDLaZKAshFzI8CB6kM4KsKAgZp8l9cG85zcHbY4t7lG7amHbWnFDICzyzhABAVNIAdjqTAvRMEoL/wU+KQEYfWUYyHhX1UdMW0F1Ds2WSQSSNQrSdFVf0jfxQR2GZlPfxW7/gtBHnpGVhdTRa8u2Hp6Ko/oSupb55zG8ipjqh4gpqqMvLiESveHYCI6b6S16rmGO7UqRRuFLV608zP8CeuEXGzAeokbH/tIIkwKNtR+89mhTTJTNbIll6BWnsNNvnhNXaSioOXRIrdH5zHJHBLR2i0awvvkq50kWeizeojJkTls=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1781813279

%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

