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

%NAME%
cryptol-debug

%BASE%
cryptol

%VERSION%
3.3.0-184

%DESC%
Detached debugging symbols for cryptol

%CSIZE%
5710690

%ISIZE%
30646246

%SHA256SUM%
dc5d1facfcea773db5231e0407e79333ce5d95d6066085693b3f8dde5325e9bf

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrcHhsACgkQeGxj8zDXy5JGWw//Sk3XUsi4+YkZRQhtyKKGG8WTL/rYagDGt69DjEBH83YX2BN2etZgxIqzyxgNZ14e09O9YPvLcEruMvpC5H/KA/fCYnUbMqVkFDLmBnNGcke5XkkD33ePuEL2C6YYpVMUnpMRLZKh//y7YWwyrSjVXcr6T4UyXrc3Y7VEQ3yvjKodj/ogZlogLj14XbS8j/NForTVHdjUpCUCCSVza0WsMPi+E9bqaTiskH0AxglhCR0ZxBhcN60z0+qLhkzlklJ8TGBKcJKL/Xwbaiq/LPME0XjwwjN/xrXW8kdYi1/3a8wuJc9q8RjYSZSz48w4M5MRxy9Ng2q/iL2QXnoU7TIN7TYAFnsk04aoLBfODON2wZLpDb00xkAzK/rf7WQsQbfaUBnDVtlnn9OrBjxoTdGHZ9o0PczNPpVkGJ6Bkbsr5JOcydP/fmLf46uR63+PuM04pSJpBCfx09a73OQRSNF4afWp+xjAalPIAlbo4L/M13KorqbWuDM4eDX1hMaHRlyR7qQYk456XpWvUxtoEAqzUYWcdEVMMziZljsa/wfSCWnqeJbFXH/8yM9qT6O0i6mYBRayyjyAQhcm6+C6lnK52u6U0PGyAdQq9stBrhsGYYeJTzDB97kuBcCsICFPDL4VGJBc+46RR3VTUzGCTgG6zue3Ki4Wn7FnBlef4gctUYs=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1792810383

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

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

