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

%NAME%
cryptol-debug

%BASE%
cryptol

%VERSION%
3.3.0-151

%DESC%
Detached debugging symbols for cryptol

%CSIZE%
5700294

%ISIZE%
30651200

%SHA256SUM%
a7bb5b6a4b0c4c806ae1da0763a7db5d5579b3053f0b7bcb0f21e3bf0dab50a0

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq+QkoACgkQeGxj8zDXy5JLbxAAqLXBsTakxxkNAXJJLd5VMGlGqTzzhyepkXL7j+lDUJwlP4pTvd06G/QgDg8VlWU//d6A4cr02bUE9t0DtMyhBTQtPixSAmS6yO2TMWYIeAYuZo87ahbCFlb+klVxFE0wTL9ylOPBnC7qAWaKStUMcUg7WZpgMuErnJbr6Gak8VI2Pbx29YYc5gMFxka3k4JE8p6UPEAse2cmRWlVn8Y6EnwHYfGfc8jhjE+TtYxS9CN92OpxvLzXOuuhnkHnRmF46gBE+RcEoZiGV+QWe14YzA5Q7ok8vgcjh0tXs7mp9j+IkYLHl8Pjg3NMtApp44zSNzrRx10W/7hodMCJbeyCyIeQPY2zKZB79m4UQNttsIsCH/P47WtvN7x5RVP4TW88s4tHb1FwozaDoZK7EUFNon+tvSRFG/5SUYuOI3+890vdavqHnQkmpsF3iiwJcQAGTDrymOg5wPdqxEUoAk6z9ukfkYnhPGm7RprUbCku9DwDAiV96nDSeuTUEUvbOOeC8ceJMmsJ3KjKWFas4l0jIusP/7HUzn38gMk2T2Cqbhm8Rx1HAqqExce+B8a1iCj1RFIZDO0jEXncOuKlLFKJyxLAq3EKCEkP5FbJk8w6YNF09Dw30fVnTLU4Y/az3zpo6b5P/URT5f41fyjxZlG0GW4IML9JYSQsjp2EgmHRUd0=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1790853287

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

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

