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

%NAME%
cryptol-debug

%BASE%
cryptol

%VERSION%
3.3.0-137

%DESC%
Detached debugging symbols for cryptol

%CSIZE%
5711877

%ISIZE%
30645880

%SHA256SUM%
e76f75e1acf0a4371ca4c15dbc2f078d293b4c96386d992dfa8899c1bd5c237e

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqT7RcACgkQeGxj8zDXy5IBgw/9FI50i3xogXYvY/jjrvihvhrjAuuqFGlJzglEhyM+KqYdt5h8tASB7FbEvPBQPvPDyWiuV4g871vS1Z/R8VxcWVlUr9MeAkPmlhJFn8eHSRI8O2Fq0cVdYjH2r/bABKNy3q59a/dfvHhMxt8mUjUNnnk7U1vaVPKCxEuNMDr/IY33S7VR90PMqjsMN4x8Di0dZjfgY6LjeTk/W4D8x8TTXXLvPRihntnin4uzHeVfsWT4GCIijW81VLF92SIVsB6DABNA+IWmRpND2tru93DNH+WXpsYqapWGAZyKgzihGyjcKIgHiViE4nbUnyooqNfXMcQSKbNakv9SSGnzq+LgF5kwHz0gSQnWiwrX4Ffv0St8fKGoYynpXqk5A0g6Yxase3ol59aPA02O8p4L9cnCShWFzw799cbF/4L+4MXqBGzajYMv4zCqlgk6OuOocLca5bUoEn1Wm4czRg2LI7xOyd4nmJtXVSueDbaYpnYWB80qd9qFeaf3ShGr/00ccFFDOrY+woA0AOwIpUUfOBybo1pPN0Cra3G8hFWO42GOrUhYDdBtduAGvN3MgIZtmD+K0qIZ7jhWeCZErzrvT4xpmYrhTbYoDAvy8c+wIfaFx5NgcZrynPaqMBO3gWyQqtz1eDM1+YzIh7iGPHk4OZY8a0cJLFHsYxV60IEZT72NM8Q=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1788079199

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

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

