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

%NAME%
cryptol-debug

%BASE%
cryptol

%VERSION%
3.3.0-142

%DESC%
Detached debugging symbols for cryptol

%CSIZE%
5702457

%ISIZE%
30581968

%SHA256SUM%
4ba8db027005c242f134cfc0b380cc706235a49e26054ef07a1c62dfb2f87977

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqdfAYACgkQeGxj8zDXy5IC0A//a5iRZl6WICkfDOPGxBFGx+NCPyCJWA14lqgK/1gYAtqYg8UxwlgFrNAQ/gn7SsjbY53HTQISgUbpPA+FDgKMeAMv6jOBdV2xDRbfXIM6ZFqI1nWRrepnxDO/rN1HpK0cx+zmbvEuoWtH5AVVPGfJDXEXcnXVGx8/CDPdWGGMgTZS3ztK+hjcYGZp8Q9cguUmS6SkvS/WY+zj8Lec2XwYKVxTz+L9+jwPG0hOFGM9+RdjoWe6Q5ExBkPnq9Lu3iAP5yt1ROxO+obJ9K88GurnLfhXwIhaw6GFYO6usZPBPNKZuADVE2pIZ/EGJnO3xMaptiJLuB7EFwF/w6NMD60dbaKapQOmoLFI469G4EiQBiJGzRmCGFbSZrfHAosc3yeQImNosoaOJ4kVorGrt08ZYLQpj3qi8WVTfpd3cRSETC+WT9hJCYk0vDjxT9Sur/7Vp5uxI9ue1THb1dFhGZPMeY+Anj7CchCE7lANDabfV47Y3F32UQLN1qAg0A2yx97kewDuoOlJT/XSOnql335oZq7MEX8qWu+2hIwuhXRRkSLY96EaNBcB+I+ymuHqYPN1LRpJVWgWAKahgOWtGnQ4eAYyDoulxjQ8m9+rEOn3S2Rfv311jtGgQtds/DUNxo7ICkOZFoZs9J6iROfUwRVxcFzHo9cduSt9H3L8Xy2gIro=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1788705580

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

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

