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

%NAME%
cryptol-debug

%BASE%
cryptol

%VERSION%
3.3.0-129

%DESC%
Detached debugging symbols for cryptol

%CSIZE%
5711302

%ISIZE%
30579992

%SHA256SUM%
f5dfde2b41fa535a9506c247548b03d7ffd58626fd452d09de2cbebea1641e0d

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmpn3+QACgkQrx0hme8KPM8NoQ//XAgW5+LmpnVdCREF355P1MUapkVA8KxC2mXM2OItS1GsMcYJfScPPbeivbAc5VFLop85Ko7nq/hMrvdymFjunIO4RbOJQmcM5yIqJVYEa94G+KERa/S05yiODqG1tLgJTV9EUnTL26VMDp9MoyPLKe0bEG44JfNKWDkFmkfMt+7bkA8MXoEwrWagl1RTSEpP6yikzwWfezUHdaKi2QV7o6sNBvl+KzEFeoqS/orQdir8765u0wSTg1nHjG3WcX6u7o14uz5z+QwxnIj4fD45+lA7XzQgOn5FX8uP2FKq/Gd4nLTaazLo2y3KHsKnmgwm9B4NyMs/97m8LrzSCc1S/X0pVcsMWIsuWa+2kUqGexNspDd/7NjgX7Q9nCxmjUn29CzAwrCRHSel0RS5Rh9czl8phS7CIj7fHJJ2HFlJpzjUTMj71oJfzfZ8bUQ6ybXndSvpP+cG5ZwAj+XbpP0e1c+8/srwFrI9ivIvucRWLStmIhZFWSlX+DXhemiyIcWguytTNzqr70FOSiK+tyZY+EbuXCMYFEcdNh2gVG6bFMKIprCH1M897I9DwD2v5Rue+XfnEX6uDxC5jltMJMqRsm3Ur4LLd0UllP3TVuf4Mjlwx0+QLyQNptlIS5XapUEClirtClQlhBt0/GPHSDC40wBMqrVbvwz5+K+Ald7+JrQ=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1783642456

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

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

