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

%NAME%
cryptol-debug

%BASE%
cryptol

%VERSION%
3.3.0-171

%DESC%
Detached debugging symbols for cryptol

%CSIZE%
5716775

%ISIZE%
30516216

%SHA256SUM%
230fa8b1da006bc054abbc421fbd3104ecf476948af3914eda0dcd260c336e65

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrKrkMACgkQeGxj8zDXy5L5TA//Xm2q1UNf+vrS8XrK7KBFsVzdrOCOvHL51PHIGfw52Cnz7Jgi44sBzYovoyKQShQtOUhKIAgVsS9npDVGpAH5Ck0JlxMPwvkitrwo/V51vWd9KRkU2CL8WSRpA1U3HT6SnaIAPQmx3H6NeVJE7FhK5LjiPve0ps9qWcRopVQkCKkutY+dU4N+YiV3yT1MbYSHT8j842+td6hGdh8AELuI3MDGs9fVN2+AdRBx2NNZssnP8XxHHrjwxOkW0oSId4i+toucVxuSAaKy20lZAIr7DWFd8v19qy6Y3KKyx3LGJOcuxmmIiO6zSbO8ZPgsiO4JifuT6n7MbXb28SEogQhZZqd+kpDRSgwt6lSJLqHHXfkvAajdsqEkejbdxfz1hwAog+Fb05obUya3FNVT+qH2YoQ9v7ZRMRYU5YcC3C8qY903QJYKwrXX9TWsZN+90ODiaJ5NhsUOy4IuUW82vTYc6JkD82H0VK9UebTWBRhc9FLiMZLOERCH61r7gpn9YKJFmVM/5dCQ+Aros81xCKadzZA1/FTuBbdWAu+bXUNuLKQ6pBTAegCJsOPUdn9a143RmEt8lLwm1TcJd31J4UnZ0dyTnnzvBWcfZTHB5rfvfG5/3H4eYOAD2XTqqL95klCXei6RadPY5XQwGBEb4CcmqSriVuqZLZRpFCWc02nTIis=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1791667627

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

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

