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

%NAME%
cryptol-debug

%BASE%
cryptol

%VERSION%
3.3.0-139

%DESC%
Detached debugging symbols for cryptol

%CSIZE%
5709458

%ISIZE%
30580944

%SHA256SUM%
2e330bd07ff4341e4caa3495442c4ead9fe706c4ea2d0f005362fa38da557b50

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqUsfAACgkQeGxj8zDXy5KnlBAAkk9uFcSRSkwez+Oo5M4e0rYRP2/HQviTUP7nbZ4ILJHKNm58eIgV8ZXBxqciTp8Jz05qp3Lb4LKBztibeVdnMvUcHNRWhd+DDDNvm0/bHL1wsED1vu5ca+AIjPvDKzVIXWttWQ3ciPwO2EcdSBdPRrpuWmQ2NaA1yCptPqQmCl83WXXw7cK2KS+QbwbMRVmRygAsXwDCxkaheYPKh42t4KUuH4ya2hndRQ14rYOKFUEkyzCOmqWPMRdCbIql4jDKv/3BUWYoemDXcaj2BfYYnBcV20Sa48XgerzdcsNZli5NVtyBoyVH+s9OhWHUEQp56s6iRBc5UZs1Og1VgN6JxvYDbSbrXOyIxU8Rdha1+FjrXOFI/q/5eanS0ylcMsCwU0iXxxJHZtorQE8j8jgrMVKjwWi51yxy7mbLX/vUve7mytY8IqSbr08Z9seAqhv6dcYIpGyXwjWuDqjHx9M/Oknkn9nJ3Y5nEm4hyY1aENYwOc+6exPCqMqwNMdYDf1JdhX1vBMVBxEAlMa4mJCHF6+e0F1Qmwy9THRP7kuS88nAdz7oE/jDkJ3tKfxl1kT7zS3BbrFkMGMb9sgL6KjTdUu+WZ9/P0oWi3Kwt4OcEd2YeCfyjPnHaSRPO6IM9KhdxjSvsLX13Jao60VfM6d5JDXZ7LYaZqWRGdVpW1dP08A=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1788129624

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

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

