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

%NAME%
cryptol-debug

%BASE%
cryptol

%VERSION%
3.3.0-31

%DESC%
Detached debugging symbols for cryptol

%CSIZE%
5109726

%ISIZE%
27515877

%SHA256SUM%
f020d2116cddc20a9d5f523381269ccfe8c672c94e775fe50442bc63684a7533

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmk2vtkACgkQeGxj8zDXy5LMGQ//VR4fkQMKW2Pg4S843mYtDK5I4IIZPEIOHry9nCLbeEYgBDfNFbz/S1+n3h3unQTR8XFmXXybA+ezmGb7u31FBRomsWFoiYFvPoClsf36hOMC+1ZgWiCxTpbaC4kVvQ2c9DIB0BWGMkyWxmKew3j1Zr6ZsZiZTfWLeLshEwiEsra4oyrEqse6u7JHQx64uJUAAl0FayxxRViihauvh/RJO9CqLPMdv0wDhMg5PqrHljIRyA7Kguki1/rwWxQCnOJHqiHpHD/yUHspEznr+L4riXiy2ztUMWM1IsAbK5bj4FliE+xVuA9fTqap9DlqYxmtU5ScApaJpA6GoYSdvJBVgYdCDJaQptN0lCIs5uz3GQ2oURan2RCnpbR8qhrvMKEF5CVKfDvXr4DmMQHam7i5d5uJUfgxLGXBQ05hAf18rnS1eXZSu4ch786nEGG8arZX4D1twEeL5ITUxmY36HidqqZVbsvoWmdNOHWIutrz2b8Wi2dI+t5wccLU0s+utWr9XJeKyHWL2oeVvWXoeXhUmOqCBdZ83YfEn4qTk9x9AgelVpVA/5pRUY6yKgaDi7dW9fuXw6kE4WdI9nlRJ8AlmV5WD8u0j9W/DwDkDJT5ei2vH1dwrshomqF4gBFY20ldnQf/wc7SawpG411DXYvITutwIz3LXGBaHtMLyPPU354=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1765195345

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

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

