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

%NAME%
cryptol

%BASE%
cryptol

%VERSION%
3.3.0-174

%DESC%
The Language of Cryptography

%CSIZE%
5221809

%ISIZE%
36003476

%SHA256SUM%
74e00df6f0b86b16ad089e898bc1e396f2a27cfe233e752aea4c35ba8f79b914

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrNikUACgkQeGxj8zDXy5KZ2A//WkA5fuY4M87iH0+Po5UarwARxcc3i6w+taiULFk6mBcgLmr4vGjDLS0JinKt2JGyaKe0E873XC+8TbHFh8iq3bZNdfQDRHN6+T2PVvLVArzEHVibvRIyxAruUdN6PQ48/rboTEqj2x00WCmBMlZWYIWMu8jWQKTPShjDU94l3IB6WLKpCGNtQd5lHThRvTcHpIQbHUnB0fX7iXsBV2Jw11nmma4SagZsexwPUIGAOEf/YEDz6Lln9WxNRWckZyP6E/0NyNM3qoikF6QwKlKiKgyhC/G3p92q66K2khxF0uBNNAniTozzPUIMOL3UVMqzU8l74+qtB5kYxGJuWLysYNr5Ee1qpS65rNXbzFje4ppeFV9z+mpU7CsIrB5lGuG9TlQuZwjji+26f0Vg5LIEqVGkTF9EUGWs9TVxkGbuNSRePF8g8TYWeubZEBCgZu/oQFPh7xjVjCNhWXv+9WPL65xBvAH1o4/Y9is2yZ3YwSXQ8wl3pM07taitiOthr9Wwvzlu1GfBW3X8GDAiuPG0gqF7DWpCio5VNUEuYfqWudYnPyAdBrSX+putvaGJ8rfgXDbPzd0v+vMb6oA6Xa8FS1bdQPLJEdNzjPof7zoJZG8ag6GBaDMivtPX6NpPVVDfrA+iAUjJq4QyGLJKwPM1tIPC9xSUr1v5AHRRWM0XIQI=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1791855075

%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

