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

%NAME%
cryptol

%BASE%
cryptol

%VERSION%
3.3.0-28

%DESC%
The Language of Cryptography

%CSIZE%
5220064

%ISIZE%
36003429

%MD5SUM%
21b2ad246bdde8aab798974b05b256fe

%SHA256SUM%
0f2f14a2dcb191910a9f0dd2364ab7ac0bf8b270801fdecdde67eba67b6dca90

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmkc+84ACgkQeGxj8zDXy5LKIw/+OZwJaA1okXCpg5UbZjcg4miwOMNX4rAXNnJp9FspMuewFBaX0VU82IgGfkvSHonikD8GB/ylh5oCOVn2Cs+e3/Old5tthfvZqknCOqeXyozem4IDtIHFXInWWXJ1aPdgOFsr2xHMt3X2fODUR6OR5r4wH+aWDkENU/u+gAVo3afuIuSpxEH4LKZVA5i0dJ8Q2yYGaaPPMPPmYALi2ZH1nRAqxFUXdRRPaAw3+T0kaSVS+c/eOq2aAulBem7wqDQ/slzaTsOgS1dYnQ/W4n3xnoI9BKeBY9M+lEQoDQTnRi3rFwVk0DAo/5rC/4Pe82UmCEa3a9rXMCGq3rVfHCUOD/Le0DT9pRvTKkCBD8MX7/iye2nfKlP2hAscNxcfwBmetHiYYZWxrOELVNYBIeWtQvzEQxwYKPLqpvjz9VjEA9kVhbp7/BWvDdSntIwtYbBA8mznY+1StVGjNC5/iFjDhlnnn6RfJI8SrDE0beRSeQhZsPgNnywbhY9EEWMsjUF9oruIevFY4Fgz/b7TxNspVTymYs4Q3LQM7GDIrk2PQvGqVopvZ22748B73LmtJjIRD1hgTQ3zwMFq1os0IC5ncWU9Mhe98INM8Tjld7KFbbOhOfAc4lqFv53kLtDkynfhqFagUG6Svqn1S6ao+odWP+kBcnK3Cl8INaQ2sIKgLpk=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1763507005

%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

