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

%NAME%
cryptol-debug

%BASE%
cryptol

%VERSION%
3.3.0-30

%DESC%
Detached debugging symbols for cryptol

%CSIZE%
5112671

%ISIZE%
27568669

%SHA256SUM%
860217be57fbc63b2c926315da9157f4ada5ed34b42ce0f2398953e663e0669c

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmksurwACgkQeGxj8zDXy5IuTQ/+KUYclEYqYVXR/9f3FMfhemS8JfFDgDAUX6QL0yysaw7dB1giQQaOqjRgU4lOflmV/sgamTQmEUWLANl6ML0SzIn1EPr63th1zkr07AD7HVzO1XphVE6kAfxo4LRcZtaSrZEvdy3vVFPIgvSXxMl2II3V+/iRIbq9VSv6KfZsudyUR8HXu/vFV+av75y1tvgCMtXaC4sMNrPYlz8xUxI7ZJmXC4QCV/Yl1JMSxbhorkSNZ+bWmXJrPqyVqyGjkG9J0MhcDmUa25WWgXF8dA7ZWljrgKtbaqMa58sP/YQGGzTcCbMlHzr4ukUz6Sh/Hp7tsoi36DJ5ASfeMAVAGwvYZ1mQ2FT4uhvZdn7Pc+MfSZZQOPSkQxitAICCU779OIRVBKgLnRJ0rMIAg2VDcK9gQkyWgBNkv/6sSlO5BxC5p2RdtPjzBxnVnf4tSjS0F3+T925aI9cBy8LeQGP/xIMAXw9h+wuHxeT8jahmyUx/05W6hMvcxkR1AS7BOts3/KIPYNWI2UIcAW3gdEIl1hPwFOwIh85+iL8osK0hr0A1f28W+5JqWlmSghewMADhtkOyNO0CIEAU/zeDHW8GwFHCTgOA/gRJEb5JenOpyyMHoAxNISc/XvV2u2y1FxWVvdA+ITcXYIMJ9L5qRT800XF2icLrO60eMKGcpwFXxNF7kuw=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1764538894

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

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

