%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%
5846551

%ISIZE%
30647245

%SHA256SUM%
07bed9237394cfb7640e43c7792ab2a5c8743a3eccc6ca85a1669765f55574fb

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1780480446

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

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

