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

%NAME%
cryptol-debug

%BASE%
cryptol

%VERSION%
3.3.0-174

%DESC%
Detached debugging symbols for cryptol

%CSIZE%
5715257

%ISIZE%
30581280

%SHA256SUM%
0f676a89d024b734eee9e935be04c1dde777968fb02edaac2c479b4667130689

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrNikYACgkQeGxj8zDXy5I8Ng//SHvWXc3VQPEp9aO39I8lXdmvyQMSoTcVfLGKsObzQ6DpfQEW3u/BAbTkzZUslt+p7JnSbI60/MBMX1IlLiQ1m6d7uYGm6STn1FBTkV41CiPgi/27PB7l64wb/gQKjdwobi/+SW4S4bYuBjX89dGQnuc4ojGJprTc4sgJZD8LvgYFWwzF9GN1mm7Ux17vAHV73KROqR2yE+oxmwRw4ngRtxHUWaCKmbTm/MbSUVuiYCt7sB3l+tGGxaNAGHF3qTz9k1oi1ZzXd/X+P0eqwcWmslnaflttIHEhUH394fBam98oOu/mTBLFeLWdoV9EnTjSVDTa0GGh8PwpLymb+gv0CKZKAvhLdtEtLTQpNET2TpmIFiv0KJC6spvECd8DX6/H4D+gq5eUSpla5ba3dshysaKBnhuKbBDI6aAqx0cr6GS7WH7/Wr+qF+yJde8pBmL92WmUtjQ14xJisQxW65abwGuKQC3/FREa8B4MaENNZjGRnjzyUD8mnkbQ4Wt4Q+x0iazzyHFU8t4KVyy0hLzQKWl7lhTq1edx7KILw4JSF52HmOavm3d7EyzkgHza34RvRQZVsAJAx69XKY0ZlZJ0FLxXqHZnENuLF1N9NRfr1qxKavTQfa9yxYdsNpFThhXkvNzHBxhSwchVC6vuDZVxSnp1FF7Hc6qIC2qlqV8MYck=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1791855075

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

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

