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

%NAME%
cryptol-debug

%BASE%
cryptol

%VERSION%
3.3.0-133

%DESC%
Detached debugging symbols for cryptol

%CSIZE%
5714381

%ISIZE%
30645944

%SHA256SUM%
a9ecef2e38b99683fdcc47dd1906bbb67169eebfb97485464d4c78cb110574e8

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqSkdcACgkQeGxj8zDXy5LSDBAAwP9mAFwhxx4LrlVEnBVEdsHMBAaEMucbMHek5p1eqeNe8ooEPudVYZXboNd6HcbdKeEhBz2cgb4aLUT09sikZ6HnlRYNJzQDiCkOYooULFHlfGKnOghLOQ8okwLpn6z7wooXpiOUU4JcK79ds+5hThEde3nZ09GpsjlGogx9jCknvMP4qhLA0MQGVCxfRFue2QNHjuEHGe8T+iRb0boVsTiyb5h9QMZxhasPWIiOfDsmgOmolheWa8wMOp1z3Ad6cXeKGQ3VaLlMU+KHKNwQRCFbl9xAFrGeVsRExPQ+6RUPkeeP4wX1Kn94WdfkNZ6S3Gz8swxKCoyMRz06yMIF+r+J7ruqpU4EForVI9VZTnu6hXIaZJ9wuSl12VVjYKzZzp1sFYZ0ICc4Q6teUmQqGESMBMIGRClVxjoKy5gyr+GxHURokogFCkc5b/8ao4aBP48OG/Wzp2gGUElOEWBAjQXdJRm5+svXya4uEmXKjoFIQJ2hNPO5Wxs5bugmrSoJYPkKoSOPWxxAKO4dMTmC89gQuT9MO0bQlfvtDIXeFgnDY5jKGg/Ta25JYD2e9vmK+thrLbZW0ejvUXklFLuOI1v5OYeshi5Y6ldeZRCXhden0gU4Mn+cLYy4NHCXjshkrETOjT5OHxqSysL5lmlO2vPfHDubLV88VXt3XfGaTXw=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1787990337

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

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

