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

%NAME%
cryptol-debug

%BASE%
cryptol

%VERSION%
3.3.0-128

%DESC%
Detached debugging symbols for cryptol

%CSIZE%
5710565

%ISIZE%
30580120

%SHA256SUM%
9427a575f81e52eb2ca76e8c2af870aaba0550092d644e8db23bdfc424b36337

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmpJQOAACgkQeGxj8zDXy5J4ZA/9FNRqywq0AdcJGwKoRoGCmpIXBb9HcGccEsRz7QW8FolkkVJl9c7/u64WG4RxOGDNiYRtRoCSOmaalzEZnaWBWf5bysACJca9Sn/WqwutVeyxJjHicGLquprjWRYzAO2WfgVokw8BhVfoAzeQEmfD5XiBUNd8jMA8F7JdKDhWtt3IJLFf1SZprHhd9NZ7H7ZxHuxuVVVDITW0QEmf8QvFFEZuNDqPhwrUCivGkP3KZqJWyDabxLHcdHkoc9jdeGB+Pr+Z2CLsSERzBw4IGtGTrypaY2mvwosxlNZWgbfgbFAOOBtWTZyeV/9B0/Gtvks/w5WungecmXpBXsT4n2vlLyoqxpzDbtZVOLlb5qAWLwh0I1EcgnXkCZseuT1wfDcR4DmtYFkXOJvXPUj83Fme3BWNFNQCLyoV+ycVFlZWfb31QqwZ4hgJqZvZvSpKHL3EBlm5ug18oSG2xFW4IHYtP93uqqCHfh7jfyae6LaLoxdkSjzeBTEDix1IbWcE98zlXxA91o71UVEujRWEyD1jPtfLApt6c81Hy4p7xPuZDJaSBlzihhS1hxUg8sSPrhcOk8qcxX1zww39zBIBUuhxBNLzLktNbdapPTBO8CIAY9Czf0yC9Hf86plqW2OYPBltDfCSASZlPyZq2s2JhCt1W3Sp4nLg4PkhDUKNL/nQAog=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1783185479

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

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

