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

%NAME%
cryptol-debug

%BASE%
cryptol

%VERSION%
3.3.0-179

%DESC%
Detached debugging symbols for cryptol

%CSIZE%
5711527

%ISIZE%
30647414

%SHA256SUM%
884e1d4260e7d400b66e8925de2ab8ac59f39f656e1622373996846e0ca7bf78

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrVT4AACgkQeGxj8zDXy5I2LhAAhXNtK9cKA762rQnfubMIb0qDyvC1X1d8ZOHTWoyWvLP7StoXxW7R4ctRRdpZwlMFrRiwkGzB+LeOv6+xPsd9hEXvSmF/NqyKD0kkx/e/Cn42Hteo6x+sM9jwC3kS+VJMTiDlRvWaz8nRWfzY25ruAltan+a5jhaJkp91hGDpfzSd1BHKQQjSGuEfxsz+IH3/pfROKwPIMfji9GH/b7fgrhrsdcX92Sn6PkwE6QsuaIDReQGAFe2aTAPgCY6Tt/HRoEf4ZDtYb2TequlLb7ZBwkJVH8ejmZRieM9tOWF31kBGc+WE6jeU+gXr5evfyXvdI2/1yDaNv2f1iKvwhRspEwuOhEfBz8XyEOF7ZEVAzyVcCJer+FxL/4QsIoFP6y9qwucMhF3fzou0rNsXY/alOMg2NoC8GYGu8DTXgjUJXh0ttTgd/U2Ilma1oyxGchjiy9hDkO7auvXOL2puY1aX1xj5MRNO+77BQsLfad4+197Mrxt9tUGMnknZq5Ruz/DQdrz/VT9wXUq/5gFcA3FSNrpxIVw8XRBPL994TsyzSxDybv8meIti07bXAVpc39/n+IZygF4ea+bUvE6dvLBYP3oHZMLHYymzbTVaSze0eiGuhWXSr4UJsujW8qtpih9GUWPoIuuMrKHqniZDBIOdlpSfiijiMGBkANQu5difG8s=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1792364302

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

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

