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

%NAME%
cryptol-debug

%BASE%
cryptol

%VERSION%
3.3.0-87

%DESC%
Detached debugging symbols for cryptol

%CSIZE%
5707761

%ISIZE%
30579021

%SHA256SUM%
98476ee9c99f087cad00c05b57bc00ffea95805cdb006a3677590253247453b0

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoTHlcACgkQeGxj8zDXy5KMNg//dvZ0Y4mly9I5nKx5pTInRgxaYybENua0OPtYOUOTjLkHW4J4A6KA54kbI71r1Tjk+BEcVgZZ8CG5A/jlvi+Clfd3YrFTGhMDM1f1gNiYPUlB+rnnYatfTUKA8PHL1MrBqChOUv7tmw9UKrK3VgfZanErMW/P0h/peGrQZthHQ/QxOJHOyk/e6K5qpp3ngv9N+yf5Qg+8OKpaSg4RnTOq8LtEbJD4uslR+E1lucti4zkGn+utsWP0s/1kEJyIZYbgjTJXJqNhW6jfFSTll1AuxREmvgEczNMoTBVrrKtLbFqYCrqim0jtTw21we+W30jmKL2YV7OA/jT5T52cc6794P3lng9r/7YUSekfNKlbUVJqk0rnPC6IvjV/av4lhDPSiu58UfdrOJkQGFGdX5bf5A9Z0L1rE6J7zvPVhE5bMdy/oH1o4egOITCDZE+o4L5sh+zq8ScIJTo0yy2FbD2q5abfPQqM1/xfDOipO/Md5Y3XUtiok/hY3N7gCKiMVgCcDBxjfmh5vDNxyGYkPYqALokNDGEs3TKwpKHi35sHsRk0fB5Jc8xrYP31GW4GcTWaCRgdWj+DqO+P2rupJctbQPuMHnOFL2xIwdZkJi0tNXaMeDs1OfZ9lyEm0h3My2i1f/ZBo63GvOas2aVwl6sx9Zxqru9rCxOjZ0YCSV28kBA=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1779637367

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

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

