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

%NAME%
cryptol-debug

%BASE%
cryptol

%VERSION%
3.3.0-78

%DESC%
Detached debugging symbols for cryptol

%CSIZE%
5710773

%ISIZE%
30644341

%SHA256SUM%
cb30a67dde1f8d36869d8f9c36fb564abd60683be4db9d790b2e4a304702a824

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmn7Ii4ACgkQeGxj8zDXy5JwaBAAsnI1MWd6ujkwYgeRuijqe5sf/ioRvZzdjE7QyFwOWtj2isvvfNVBL9JYMoH36FzbjpgK1EqQ2cUg0bHVyB7BnrUfW5mfmFEuUohNp/NNf2qER+/pFmpYdRxJ5iGlv7bsWg+jXY5lUidLvPkyT8uNVK4U0Cd9AI4e6uRjj6+7F0WoeH13CfJNMOSj4G1nMwchF4HU1O1oQea+FB82HaWLupSBITCLzK3Wbiny1aqwLORsKHgmIHItGafv+gYbldkFB0MGbJT9FlpmUeC4h7Cywjku7W/OGWC50Aew7LrfXJ+CNqUMRfOAOPGyn1teCWnj9M0wCQTVPuH3PT4DEE4iISSpDsRZ8uVXeN5ZXTNfH39LF7P0IqCDPE6uTYikErITi/nrNOjwHLE/AVZWGyNbbO7bx3E7uOoQiqJRjPkWz39UdVSyqlrZwtUcL0KiAD/hb8Y7yM2mMIDuYGTstvflJybF7IEEE1d2S9HVjiGecnjfe/q5EPMcLMVhTh3A2pNFVOLIerUiF4hto7qzxlhWj27F78XGGn8X4RTiGbJkKLOq2W+rLk3AWUk/rq2xwHrWEuF6uWgAhFZ8tq+tSkDx7YHDkd90A9UrkzkO0QYhMHJIOBMolShjRkqgd+SYVSwEvGBsciSaDzetjCr7posS8VW5Eqo5yKhR3B4z4xRRKLI=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1778065864

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

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

