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

%NAME%
cryptol-debug

%BASE%
cryptol

%VERSION%
3.3.0-88

%DESC%
Detached debugging symbols for cryptol

%CSIZE%
5712421

%ISIZE%
30647245

%SHA256SUM%
9963236f361ccd0e01f244d1b9a63aaf4e211428ebce5dd79387e240233ec7f4

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmogPWEACgkQeGxj8zDXy5IW0g//Uw53P5iX72f8khswsLLHiwdFR92UKxuKi7tZNFECgt00P4Zsl0pdx8muA1EAOvIc/C3Ml9cN0zG/smB8YpSJXXQvGoMH4nsUb62xKJytVNX/VbEUY4ndEoV8VL7EoFQ96HeUXpEa5Nfd/S3DM7eJhd/bIhVDo+ug990Fg9a4/rATJbiabs0zohdNcGbRaemC6efa6FH2V2NJDbIQT2XVt0BJKjhin6p96dyH20dLm65qafOKQiyNhUhkHvn/gFIW+ixfGpn6lHqTLlmLipJcGlNS9eIJItvcsCQ0jjCcZw5mc0GU9uo7pG5tL7gfQS6SG7aGa0IyhFjnpIfOY2MVLUzfE8qqLrWPk4YvNPNlMpqjK2QZkWDprW6yq02WQjoaWMXMjb67wNGf6zvylvVI2m+0ME51pnOG5YWU1uDiRzxYLtpTHkWxzxj3Zb/K+3joTsRlFPBQyAxuoM0lQCjIPm78YLQGThUptlRHBuYMUwqVevBl/N1mlb6Pu924vrlT24VSbXAfSFsbg6H5+heVwZKvf9vSGkuHOA3jK74C8CWNk0yfA2wnuKDcW0idSL2AXoOpQWf4xqgemC8iY4wUQSXT686nxRL5MOsCANYL4Lv4l0CPsZ7bjMdtt/dYxABFH7Hk+euzGghkLctmh8zhs2Do2fnjwao+8sEZK0mT2QE=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1780497537

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

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

