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

%NAME%
cryptol-debug

%BASE%
cryptol

%VERSION%
3.3.0-89

%DESC%
Detached debugging symbols for cryptol

%CSIZE%
5712703

%ISIZE%
30647109

%SHA256SUM%
8cd85f92ad8e54bf47828d757a1062838fcbe1bfc633663a07acb4e98cecfdb4

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmou2hIACgkQeGxj8zDXy5JzxA//YQPwuGX5IZ4tpXFaVa5gdW95AMW0YGl59OgY1E6owdQWkPQS/vQa+EJLYdZbqp+1hHf3L0AXTeTyao362FvoS9ZEBh5uar1nlrkoEAexInjzkEJifRsSwuhk8wbm4zmYH2m/b7hE1kEBy0NjCKaJ02cLPr53xK0jZMeZyGDCxbiMyDf2UcQPvi0jTUeQelOtgXaK8SVXtSVeUSSbrc1n4Nol3pSFxrJoChsI2nr938oOTXqiUR+pRLH/4BxAUII0T6Qy5mh9uzNHR7E8TLOrIFGzrNkVbKJEi1SlcK6Y0ymLiFFCTq6JjZaFcQfmZ/sKOJrQFM+T8XluYE9hUV7ncdMW0Cox2HInmIJhPWKw8EsUTnWE5gy6byz5H7HkRfdawtuv8QZBppZU1AU5iA+E/P5DZ2d+s/Xq0d6QNUVgfDplZMYE/ZDVMEIHeLW106ov1TYFyn3U6QwWwt0dz2mM8hxVEXDyIDvTEPWBrZIaI/tcEZ8iUEzXG0LqvG09N5hKTt02gIMpBSEuaE1JP7iVoImrOgQWAKLXeRkSpoGySvSiYQFVkWH3L/88fg8zUKpGgrIFwFDTpRYvA2lOvWHkq2EKrc+DliW2aqEBbweI+Xj5glgOjNM0OQ75uhfx/T/HOjxkhfzl9d0FhVuJKeDDdptepX4yEjvkcZMDdkaOAT8=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1781455176

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

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

