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

%NAME%
cryptol-debug

%BASE%
cryptol

%VERSION%
3.3.0-156

%DESC%
Detached debugging symbols for cryptol

%CSIZE%
5708716

%ISIZE%
30581552

%SHA256SUM%
3a967afd74c8a13e1f6006cffd2b725f5c3ef6048f6a4799a096a1c51ca40366

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrAKiMACgkQeGxj8zDXy5JK9w/+Ma7z2LwL/OSTuE/NNcdRoK1+OZ1r0kWMZjvr4jKM7c/RPKh9lGvCcaks3JaJ/F6okxvVGoJjto3QIOLNEJwJd3kxrH6krK+1JyyaPFtpyNBxqsS1qGmk5LeKgyyth4q9Nyf0pOV5Q/y0xRM0bsXvzmrgj0pN7o8atfJa2IS54ycu+yuccXst9Px5DSzZrTcR3QDDH1ICtgeuTSljckD/qSi2Ehq1gppb2DQNVoDPq2Vk7HbQMNdj+3ODRTqOexHHNTFyyf0ho1p4FoMw3ITiAtD0u2e5t9tIMAQgytEKZNGcvVKaI7jVrUF8i1CDNb/232gXNS5Psl9LAf63FOs4EIWFfzSgurIdWUNdd3riCqdBOKYoBNURegrGMEhHPdeie8IW9Vj5YGhl0WYfqoMYVFEGD97ZL5ee9T7lGRVOHQqg70+U07Grgg6J6zIUdFzj7Dwj6F1oQejF5w4zJr6QM6EjfWy0RNWOJlWZfChWl85ayWb4KTGiewgpo3Uc6nkFAcEzrKf0Iqx+rejxS9veUyMiweF7ETGsIYrsWnTTZ+95AZW+AjLjIBHBHJZmF5DcnSXuw6LzItuw9mtu0OsDeODXG0dIL5FWmhVvSGNg32olDX27dERrxndqAz+XMTAEVCNVG9AEG5XXVwLtChoX2qWqkk9LeM4s825ySQRtTvY=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1790978397

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

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

