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

%NAME%
cryptol-debug

%BASE%
cryptol

%VERSION%
3.3.0-26

%DESC%
Detached debugging symbols for cryptol

%CSIZE%
5109619

%ISIZE%
27569405

%SHA256SUM%
e0e06195873e18f79868ce834393220c7443befce55eeedc1efbc03ff307f0c3

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjwT6QACgkQeGxj8zDXy5J81w/9F3MzVfMwoilQWYtHP6XdIxH5wFb4j2Q/KVHDdj+3jiqdSWWwj5VVi6aWbf8w7avivolk4fgYC5HgtBZcQOBB4lLs6nHJBViAxVIYdSPb/Jku396cLrRxb+ZlHnnhRX41CZbyg5Xw8tGJFrccrwufrtU24tOIgKcvxqsk2a3nT1tVxA/rjYNUGm5Qm3F1I7mkCcfXolK1FwGgNgA86X68A1P4YQLjReI7EtUNCH/ep60ZOYjKBqGpjIWRun6TsgV7dojgavi+RcECiGGB05rYTbf0heAfStzivRgc3wQMC6i1Bez2uUZd2fGSCC6d6kTGExpNmSBulkg9EhuP4O8NMm/ww33bok6llMrf1LpZ1beA0ZxjF3seU3fJ5G2T4SI1//hrXgwH2W6yWGxTlrGHC/EdeDRXUG/MfFGSBxRzgXVD8LfTY/1m8Z4Is/xCn+pctnbahrQg5cGmwdS+Q3mbAHN6O6sHzflXPKnPxRFj48d/ec1cVlrutcY18sNLe6LNocpu5FcMzc+C9pdUSLSH8XvkDxaiuaJ3/k6MkMM7PqM/i1B777fZZd2HPZPK4QnuvU9NolnPMhJbMmlIiYZGhx+cjBSXPpYiRIWTweFhnZ6aLHkkuBvi3OGPeaXh/6z0ufR3iSR6IFg1f2NQIEZA5YDYAB3Xo6snwnIWW3Iy2d0=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1760579333

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

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

