%FILENAME%
cryptol-debug-3.3.0-80-x86_64.pkg.tar.zst

%NAME%
cryptol-debug

%BASE%
cryptol

%VERSION%
3.3.0-80

%DESC%
Detached debugging symbols for cryptol

%CSIZE%
5708780

%ISIZE%
30644909

%SHA256SUM%
08cffd32ee34d5a60013766cc2d8e236ab2527d2a548c6902c3597a232b78fd7

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmn8VykACgkQeGxj8zDXy5IKcBAAu8Q5lPYkozI3PA7YwJsg6xiI6Yy9mI3bnQE7Gm8W+ay3121LCPfV8/4o+pvH8jHSyvGRhrLvIehFiEoYzNeyRn0udAq6CqcWfReH1h/Zz5TE+JUTgSLR4C8Kam/RVgbUS5dCHWOSPINBaBAESJFv5denVA5fNPBi2+7q54zF3Bn/FE3KN5AfHfFHLjNJvHtKUfr4ZkCCkKBcv4QKmHcN/+VSpggH72Sh+fLVELJ8cyCdf2hQ0nr/ZJJxLtJKD6re+sh3y+34sA6P2n8BqlDGPuH6Dvjiq4BzeVBPBheN44sUBWiP6L9aAeqyNn56qDoWdFEPAIkyOrrjc7IfTucWfTSM2AQyYlm29vWsawqh0U0zX8mmSG5uaaaOKgQUeeviXdTEvdJmZ1YIS3kiYXYfw5Vb46ooMSABKKszwKcpjrU03CPku2tM6Hy7+eP7PpUzvUhwFOdwNhoHj1LUHemMZn9/YVfrQ+lknDFmziD4i19Yi19aEHXiHxHTDwoG5Wf/OqAk98NNcGVlYHky91qoYmTUXHdQ3S212YNhtIKjk0b+xVOZaOThVrXT8PGOZ5U/4G/NvckDBrPA1zcSCOdDrah40RH8K+R5nvf7MWziZuAZyiGZoaRYGBgealg+0CyHpfezSBTgwmufQCafgNLK0sTkFQdeuKrw9T4hfEkFGVM=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1778144916

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

%MAKEDEPENDS%
ghc
uusi
alex
happy
haskell-tasty
haskell-tasty-hunit

