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

%NAME%
cryptol-debug

%BASE%
cryptol

%VERSION%
3.3.0-184

%DESC%
Detached debugging symbols for cryptol

%CSIZE%
5710690

%ISIZE%
30646246

%SHA256SUM%
dc5d1facfcea773db5231e0407e79333ce5d95d6066085693b3f8dde5325e9bf

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmrkArcACgkQrx0hme8KPM/O8xAAzXGWkdRpfmNg8b1h4BCoLtjtvXBXgSeA0tEuOaPCEX/7qQWNbxi5TUaSuPuXakKY83i3S7gAJuuykbxVP12EIIlBGM09d86P3rqiNom2E4l18w0gJ4AvQ+7XQ3L27VEbLMnk5YtdGmabcuc2XNvLZlonaPPivt0V5pGKEDyYzOwF+XLvVdSEMyxPf2b8qT2yM9FCc0ckP9EnTw4f9xLBotwquNKkeeNMBw4TSX3naZi8p7nlYU4pUapQ+6qyHWHZ7yfVweWIVgxP/KA64t9XiaI+zpWUitCRnvGl+JMc+SzopgzRaoOMHJEHMfQEqS9VRBBPocxIr9sFHr2F6YcWQvrJubQBRKquDPPdDqThIgOqanu0xW0UOc+zaYpqO7ljLWld+4N5zSM4eOI/Rlmx+7kjBCnejSMW4gqj0GCiYtx4/sJ5T+5mqVEaMaQqKvKYx2oFHIqUJlZBzdcrBQtQxanDweE9y7mLpPBEiNKZPQCh7R9MOJz7OGwRMOei1zkTnPRHfmp/CaOwmY79QJYCMJwcaeSCZS8ckk+1DC7E0iZ7Z4Fn5zTdWQa9QfLRuCzduJKuIP6iaBgdP7zMY5742WGfIs7d+5w8GbAwYxBYO83+wateO+qPpN631KIDNsdMpYisoDx8jswMHC/kwakVr3vp8mlIsSbxxkd/8WIqMhU=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1792810383

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

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

