%FILENAME%
cryptol-2.13.0-56-x86_64.pkg.tar.zst

%NAME%
cryptol

%BASE%
cryptol

%VERSION%
2.13.0-56

%DESC%
The Language of Cryptography

%CSIZE%
4654154

%ISIZE%
31131487

%MD5SUM%
0749630fa80f92d155914210f61e009a

%SHA256SUM%
73419dd1f65b3973ee19eddb397fb2bfea3598b2019dbc5733972c62d6f050c7

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmNdKToACgkQeGxj8zDXy5JQdQ/+OFIAVk7C+VNSEHd4vN5CbBoO6p/DkL9UoVc4d5xGUNV7g8mt3t+URTXoYJRd2ftqfKHRMOCIBUROdLEZVW2MK2OxLHPImT66HM4oo3IhAxEHn8K7+udnX4ktxZZ6HnDDSmAoKLdsPNEzoaCCZJHXjP8kzRE0p7Uf5U0WC3tYvDS6kdaHKprxsa9K/kN8viS4NlO+7Z37uRfaH4KIBnxpK1Rzu7RBn8VzTgIpWZ7WW/s/zrKqw8t/kzv60WIU0TrZ8TU69QYf99COUyl5ittHEhjUKRv0EXTshn55lLvEuPYlqsfVNR+AChPcJC9i31keFNuIHDfzBeNlxHiqNL7lla9OxBeX0G7KvKafozkLvofT7ivVWbE7RygKADmh4uSmrGS9Wg3RlO2k/LNVq74vQzkCoy+9X+G2d/ssiJ55Hm5HMO8fHp/i4OzTZE4GVKpau4b3E6W8D6BX6x/zOxfA6E1JYeq9eKOo6BW5GMY0FeAh2f16EiTnZkR1zHzgjsSq5CAEadN/EVZdtfanGj2D3vNBzv8fqaZkmgpFDpIJNvlqLQXAWlfssTMBB3iiflDyGG2Y66pDYrtJNVY6AXBv0puGBqXwOlAIhM4GtPVbeb4KhuGaJGgyjQQbdKqOqjFNxiDLwkutK514MKP14jIU0HvN2jFJKaWqsQ7qHYMDe6s=

%URL%
https://www.cryptol.net

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1667049570

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
ghc-libs
z3
haskell-arithmoi
haskell-async
haskell-base-compat
haskell-bv-sized
haskell-cryptohash-sha1
haskell-extra
haskell-gitrev
haskell-graphscc
haskell-heredoc
haskell-libbf
haskell-memotrie
haskell-monad-control
haskell-monadlib
haskell-optparse-applicative
haskell-parameterized-utils
haskell-panic
haskell-prettyprinter
haskell-sbv
haskell-simple-smt
haskell-strict
haskell-temporary
haskell-tf-random
haskell-transformers-base
haskell-what4
haskell-ansi-terminal
haskell-blaze-html

%MAKEDEPENDS%
ghc
uusi
alex
happy

