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

%NAME%
cryptol-debug

%BASE%
cryptol

%VERSION%
3.3.0-94

%DESC%
Detached debugging symbols for cryptol

%CSIZE%
5707487

%ISIZE%
30578920

%SHA256SUM%
bfc5671bc06f41a82b67cbc547ea27bbc6d440aa0d9e665f44d4b83d550dcac4

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo0UH0ACgkQeGxj8zDXy5Jnbg//cPUzRZGY4v7Q+kyBUtfiMGlqQNVKWgVvxwTyE/CbugEAdmPx5gIUrNJvmNTcbqtLjjJ5uut48oYo9zLQDVJlVQr/P5a4qaeFcHTc0R2aLvaN9wwEnJr1lFnwQWJSk/adwDNNj4sieDkSvXe0ysniVC46JYWcLO4wUn4LXcoR3bVzqpRlEaW8au5aPgdviBK5QrCUR+pxgjG4/rCzMVSvkAeeDtsYb9Qqq0gbHwyqguBVJBohfugipoHHgipNkHALhrIikoSXtWr0XLSxPfLkneLV+I4OW1xHzGWZGWwJq+50ntTelEXezYftPLuRGc711PIb0kJf8YtaBdKMqt6OsDqJZ0Dnu8kBcJvxd8lP2+hvcTmKWus68XSUZEcU0dz664RlpxtMor0oAN4+dPP7r476w8c9eLfYjoZoXL9F6S+5fDZAAd3D7PyxuVIJErv9ldujF0ZZc99n6tPYcnxz/6oWGKmlatCuJIeUBP2g3oJVM3J/rGoxlOyJwru77hUhetUVPZnjEg3NoV+nvv9NFclSupaPeW2W/HDkSIJHtcGx9CqckR0PvtANHLCyMgN/1ubJGCg8GLhTl8BJ9zwapjpJeJP76VqAiEzPZHUNnjwcmBs3jlv1Ga8zLLmQ7fgioXgL3qJ/fx9p9zb3dOIMHguxG3/QtqTOjW/Oth2jDIw=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1781813279

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

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

