%FILENAME%
cryptol-debug-3.1.0-83-x86_64.pkg.tar.zst

%NAME%
cryptol-debug

%BASE%
cryptol

%VERSION%
3.1.0-83

%DESC%
Detached debugging symbols for cryptol

%CSIZE%
5130221

%ISIZE%
27222329

%SHA256SUM%
7f3a736bfc1d6409c14e24b9071298845fd9d083b1e388a8d9295b225e9299ad

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmiHuREACgkQeGxj8zDXy5Ld0BAAkFjCPJqHc1zqgPJAi/wsrZmJbWWxtfQ7wGSVLjmpBilRqBlb/lKwJw7qkzwdFWvHegU3DpZ3TQmHixWzFHx7l4sx52TdICz5y+KGyZYp7Z4/XgrQDhAGcT77UuADeyLmPkJePZxIvvi0y8cZwSxvrDDTZ/WYsAeSTrxshrdm+iEhCg6j+CDw2ZddWkbOt+3oDoIC8n+1Exz7WWu9WOAYJzWPupRWEnTaB/QE27Bno9kPwwSx2C3mYN5zTi3w+E9KF+RvDA1WGnXZ0N51Wsd9t0M7yp/zKvnsAijizTMBWz2bjc7zPYn6dE+Q3CJ2E7NMWynuAS5F6wvqQyewalBbrZ/kgrjcAi3iDSHtgA+J6NYuK53vJb+JKQF1a6aLWBURoCgooKABOLmWt0Qa0jPuH7O++NQn9WI0+4JyLEQz22PR2UrecJ/APe5PS7waWRn7OBy+r9d6j2/iql63YPkDp10yArtWj6me9n/n3DRDTXAHn9UAxpCuAsz2KV9OFhcF0muvVzEKWA5yi3UMdQi+L5X3wRRMA792Z0qvB5qM8JlzuxUaPLcM++TNk6BXnosGDwn3zAC+A3S/7hfivKwSZ47TKGVMHN0QI3Gmdw2+d3SEVsHLxZVPEpw2X8aM/B1kag1arh7BLOpa3UAUjgdQsZ1KRkMoa/gQmrRln4sjF5M=

%URL%
https://www.cryptol.net

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1753725061

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

%MAKEDEPENDS%
ghc
alex
happy

