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

%NAME%
cryptol-debug

%BASE%
cryptol

%VERSION%
3.3.0-76

%DESC%
Detached debugging symbols for cryptol

%CSIZE%
5847272

%ISIZE%
30578845

%SHA256SUM%
c66d9dfc38839375bbcd201012aa728a04f2e271e889f02f2b83f70b91c88264

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1777461899

%PACKAGER%
Dmitry Razumov <asmeron@ublinux.com>

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

