%FILENAME%
cryptol-debug-3.0.0-97-x86_64.pkg.tar.zst

%NAME%
cryptol-debug

%BASE%
cryptol

%VERSION%
3.0.0-97

%DESC%
Detached debugging symbols for cryptol

%CSIZE%
4691401

%ISIZE%
25366037

%SHA256SUM%
25e3d53902211e8b63a41571e19374930365cde7b3b30436d4c3cd48f7fb2252

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmd4UpoACgkQeGxj8zDXy5IsRxAAwQkUIj7PlO0TrudrZUDbO1lXVDiFWHOcU1UcS7Rpf5s2G/cRc/BnRJOgUbc5gyeLDO+6trRrk9ipPjZunQDoRtBwmGLfTAYGamqMWfsKenZ9GiAsmpM0yRY6Fco4uSxNdsYoHkMRxz5iSHeIm2EYyo/GowIab2j2Jz42w0gELJiqW6uG+l6/AqdkoVPmY/Fd5zthTsnxn2wbLilIc1CUX/Y9df48KSCtedY/q+gf0CW2gE4OrRN+aY3Bc+najG5wbkI4lUXgPGQQunvUpfs2iX/U/kV/L45T0JGE1QnuGpys6Ttz+qj17hmLRpOs7XI2rijruP9XjZSbRQ8q+AE+AsWgg7JcBiLd2OfBF07AGYXi6d1iCcbc7Vdn6umtH3EnKj9p4xPI38+VNMKN0GL6knj1op23pmAmknhxZxLaoO5REOc06B7SNKpojEzALM6dTbL8aJH0w3uWtQtPVYDmCFQpWo95HmcPvibx0Ykw4LmQ2lkBb4O4IBiUFGIryqqN7PaQ4yNcAlpHQqDWaz6N+tA2RWd/xRnSRW+RGPv4vC/V7xhh8KV6GC+O9qMqRxAgc3VuW133vUm4D0sFycmLNFFNcdByYhZSIJaCyBHt01x0A+rxWf+oeGCF3E8Yk3E5yWNqn2mypAJYXK4xkf/eV0EpisbNiYd6lB5WZa5ApnU=

%URL%
https://www.cryptol.net

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1735938530

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

%MAKEDEPENDS%
ghc
uusi
alex
happy

