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

%NAME%
cryptol-debug

%BASE%
cryptol

%VERSION%
3.3.0-131

%DESC%
Detached debugging symbols for cryptol

%CSIZE%
5707290

%ISIZE%
30712224

%SHA256SUM%
65bc04e027eb8c860f6080fd22b335c51072363281adf7f13b3cc11e7fac48db

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmp7oqIACgkQeGxj8zDXy5JiGg//dVLP8KATi5UXNm9XB+HWPofFwmc2M2Khy8UGGPxFO7++zHC+VXc7qKOwNWKR4vaIgAs6157kw8WoUMlWXRnglXNJikXtN++pOYbpwSVQoGMZ/DBfiQJRpwprLSQ9izItEOKriJ8ePVktKcG0z7W8goxtaoxYu+NrBDC0RWGuUWehVShXM/i2yG0S7EWk1wh19cCTlooqpqPxFiFQ8Y60cKvI5CxUE0xVwzEoSrnYj9BZ5YKSGb5CzuZusRdBDDkB3phK6cLufqgxUdu3+rOZ57q2IYROZ40xsLoURuebvniaEdSrkKCuHklQyIkMYgeqhqHanA3tbgS+SncUoQh7CofgtSvVBDY+c1L17RcbCMAn+e0DOEAEuDPSBJz493FdF5mSiAQc9qh/I94zs/UyOuIvZHe6S1yik5D3TuD0aeiDPklySeEIHHk/5Asodumhur8q6Vb6y4UyQO40c6Kg4EKcVE13qI5E9sZp08ooHEbtU2CzX1yt2OXtDiY+Jgl/c1jT+oejFhyBy4sxk7Ntz+Q7AM0lev7p7EEO2oO5k0RoeH3aaH+Ezyi1LzsS3CC0QXWPPI2nCCXTIJfCkjlGesOY28vs66tR3/Pm3C13oZBKWqLwyYTvDld7vy42l+4Zyux7kueav5HBC1yoXaNB6V7arc8sIhoQUMbIHYZ6vyE=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1786487339

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

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

