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

%NAME%
cryptol-debug

%BASE%
cryptol

%VERSION%
3.3.0-23

%DESC%
Detached debugging symbols for cryptol

%CSIZE%
5358899

%ISIZE%
28662403

%SHA256SUM%
ec307050713a92ce181c3c85dead63d16c3e4862c7aa07e1d97b32842bbaee25

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjoV5gACgkQeGxj8zDXy5Ivhw/9EUCkkzGhagslGRNVovHcwXqzcJ879UhAiURrtiLhps0S5nJW8KIiq2GbyybQAaiJdzllFnnKwZPb74scvC5FrlY27HAOk3PgNZjoEawkTmJlz0ldI1EHoOp/7NzeQ55QCeGHKc7VBL+ZEA6ZX4FZ2ZEoD53S9JkR9gcSl/K53+Wi3zclnWwN4/5AkrqGEgpPeB71C73OPXkKnvHbPwroXyhnNw96RFaJ6QiLS/U+WT0dsyEYMnuhYVXZrB+4r4qSfZIujcB4DGFj1YmDoStO/16o53d4fDN0BxRr5Hi3VRHsoX+VsWDuemTh9bsZO8GJIB5O1F1wPPkrBvOj/1kjYA1LjSvcyipwgNStULoNGCwA67DgbbbFqdpdyRUiDtLV9efMgOq79s9E/HTkxcM3bGm3sf+wsVyHFbEE8LGFSH1NW0tbMbEwIzDFsP+FnF155IbzX8+MBtqknH10RKobkGSDbbNZ0S0PiyR5f4pzCo0NhYuQkp9neXqFdSa/YD9KlBUyRp+ncCHDppUpwLsozO7qcc6cLN1lNp7hu/0cZTFJU/SxMNQNnL07D54iv3bzBA0E6yH7rEduKNPkq5K9HTeph43kXRzdGvXxDpNWX04Vq5LRvap5qmVvtIOSBHFuQMegp6Bk0Entq2Q9X2VWUszm0Hk59srxxBQvIcbdBss=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1760057103

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

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

