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

%NAME%
cryptol-debug

%BASE%
cryptol

%VERSION%
3.3.0-127

%DESC%
Detached debugging symbols for cryptol

%CSIZE%
5707686

%ISIZE%
30644848

%SHA256SUM%
97a605c2b57c00497e3c11ed5e0351587eac96616fd70258de63d6e3265947d2

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmpH1tYACgkQeGxj8zDXy5JHIhAAsfhgP0eMSOazO6PMxnm405JVxUrNH5xngDPwKzuXPVeK+xvPhW5RM5J7sjQiagofkLsumbbVZmSSfyCaLlSxh+c+sXUzkIjxdKfiThkBuCnpc9QI4c18v+1jCebmmhtm9GUEySH2jNlkyZBxRz1jHhH1fJDBGkCFJowC3RwAqxy6LcQ6wE8MmBBmtSnfyGGjJvCksbcGQSVXu7ha0K/s0UGOmAffuigZzMX/9iyL4HnwbfXYSPW0CIeOko28fxpUURpagww9TmiDuhz/Xn+tsaTFo7+BzEH6cAJ/BTOBQnjzfa0hzuP5ylmagvadptUaTHO/xU5yh1bGWVBvFh4EXha6EX7LFXH7yvjbQa3W04Eh5fURd9Gtm8POpypMxwHNRiFoQksqzJg23IjnI9kn9B32PPQLryGtFEHNmDUerJaCQmAhgwqTb+m/2EzUTh45vS9OMK6iz6krXVanQAMBVMQ70RnV+fhuXugvB3Y/kHJuCof4AtKAEc/Wwxcp+Fohn7p4+EH3ziA+xoZ8fFy5BVxBarh3QCiBXuuUSB4oGKU1SzvY5ewhpaPeEjqlCBCEbADRqfYeidwrj1OxjBYu0XctNcnixBbACzQMVKadRSzJvXW0XoPwn/RmBxnq4SpIIp1xlaMm1DcmcrAQMlIHrLNJrbZ61Qux9dpdI3jePj4=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1783092838

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

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

