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

%NAME%
cryptol-debug

%BASE%
cryptol

%VERSION%
3.3.0-141

%DESC%
Detached debugging symbols for cryptol

%CSIZE%
5708955

%ISIZE%
30515088

%SHA256SUM%
af99829fa53bc571345cd9fba619510cd26d678c8211b6b720a1557c9aa42798

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqWv3gACgkQeGxj8zDXy5LRMg//XLRVYEJRJ8CvuK5ykavEwisoueS+hWTuAgLdl1cT+8uacckeHVC+x+j40V6+T+G9oi+PvNc29SG6N0ieVj5tPY7+E170QjtChsSP8dYe+zrhFn/2OE0v0Cog1ne6BFMdrsBhcdsrzhQ29tClGtBwo5D5VqOx8Vi5Q0ti0Jp12oFJOoat+oBhaq4KUbbjHaYNZayToLFGVDcXgBCQPUPavKDsSqFPwUlNTPMHOOqclRyEOZ/VUfatQH6jx9Gwwv2lHjTxavf/UbdRUq0gkWykYmzA9eW9BDKwZ5ld21iZX8bP/H7jG0GU+zJ5S85TyXCco0P82ZYi9aftd2SeHjeexpb1tuKu/TRpneXRXCgxdvHjjwHEoslT5p+LynfGXaEO70aQgFqlcKuq/S8HN1UNIWfQu7W60o/asf0dP5P2ch4ga7ysg3OB/AMaoLXu/UbkjWM+juxDAOlsipGZYISx4c9dK+54OLR5rhpy08JSCrX73743kMavPZ+qtVyFYwozBNi3wA5h4Ba0ymIJgEytU8MvPgvirmMSCCqbZMhGGeEjYqZNBOHHM8RlSqPNI2lv3+UmWhbyo8fkQi79Or57KRkrAQ5wie50D9YpURi4C4riCsVz1lk5mZ/s3o2C218kBoSnt5w7Tv+DKo+jjxYOUr/on0vjHMJuqsJKcTt10/g=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1788264215

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

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

