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

%NAME%
cryptol-debug

%BASE%
cryptol

%VERSION%
3.3.0-90

%DESC%
Detached debugging symbols for cryptol

%CSIZE%
5708515

%ISIZE%
30579877

%SHA256SUM%
e4d23d8a8e88cf1c67c498d237198ba8f0dab6371917025430709fef45f81127

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmov3QMACgkQeGxj8zDXy5LO0Q//dlV8u5f8yDyHQ5hxQvy6UNmKlsrXWGa0XJWKRL2+Ewp/04+ty0sXMtqaTCDhXoPFLI9kNXDULaNpViniUec87lrmwAvnoroJP0rDf7WWlhEGjbw50pRE74u7bsFSHdZqYItYBzajnbEoC1TNffA+2cL9GbW30nHcb1SfrEaZ8LPy1cRyEnQ2GyKzRy/JTesHBvMk+Xw3F5zgJhFrREPBmVGFtgeTNTlBMPL5bobGTSH8r7UCAd/ecH3viHQRXgxm4DGsyjvbYzpBz74qGS4kFuP6/cEUwEotqFGsn6UiD4rpwKQM6VzZ+CNhzMGa6nwd6PRCOfu6gtj2dVfagZWwob9fabi9QM4PJYHD3HtYWQfqySAQII3rYdu5w67unU1zFHlEDctQyC+UkNkhxAmadnq6nalWyVh15ZCQ9VjdncBzIjiOTPVbIZa2UsEP/cUMObYlUmNZ+hYg8pgGqc91aiYH2Ht7vzHyIkrJu9LOITYyjjRBrvluG/78bwNJKH6T3hAnQKhYuGC/FnpaJF6wkfr17Z9ouRwQ2PAewvgRynDAnrReso7b6tC3lrgCHQdEl8CfP1VeCVuUA0h7D4JuFt6mUarr/YoWyIaTLtFN5ehabUywXaz+8WYVLjZ4m1DnU2isRbwjsR1UjmPUkbyKh/ZhM5oH4jumhsKDP+1BAAA=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1781521526

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

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

