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

%NAME%
cryptol-debug

%BASE%
cryptol

%VERSION%
3.3.0-173

%DESC%
Detached debugging symbols for cryptol

%CSIZE%
5707946

%ISIZE%
30647280

%SHA256SUM%
1e8126908a26bdc71032c9ed9031a65d4a13732db37f2fceee88ba038b893a9f

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrMpkYACgkQeGxj8zDXy5JcRxAAlZBaQDMHLa4YUN41/FEjXltm/pQqn4GNw2pVUZkCDwIXQH20AqFO0kCsH+5PjdM95pjnn2JqFBumyr029Sw9y4dMPcjfFQV+0Yv03xoWffGl+Y4DMWPOsW7J9oZlqLbIBBTYSWsHC3P6NbHCsYRoXs5mxSMXLMh7PyuGFumPqS4c88Vw/8jS+oWSB8ah/Z9JRxDEsk+Cr1uSZ4q9KxVsZ2LTpNpiw9RBHzo1QNIJyekjZ2/zLItC3dsbbQxRhlx/b80eQnUhxhzjDOQfQBHH3AJ82YqZxY6AkgOPbAa2V0lv24j+1W+8W3j9jxoIYeRJaVfliclxTPMg0jTXDx85IzIJsXCAcuPFmpZTbGlcn+B3bpxeq2ByMm2EHpF74QXtmdWhXvJCJeUydTG59J7+7r0TnwexPCBrKomXfSUMceuXomU3+s8yUeDipLuNkXcW/nLdDWj3tTmZ8xbCBwxLVMNc/d895eqxy58TY2X1hn+Y+HiEsSdggh4eg18c4tqBaPk/BSMLAI9uqXxNmCtPECTsMLzAqpe5xVnxfFyJzzSnsvbXXjh6J+md0gxyh/RTNw90RNDiTPmDOveiGiA41DnP5+IyqY+aNpwqi92Snrscx5l7iFngPN2DmRUt8qmIo5fGygE7eEDULBfXDiwL4P1VEjSOFuUd7rKsZnj1Xn8=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1791796536

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

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

