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

%NAME%
cryptol-debug

%BASE%
cryptol

%VERSION%
3.3.0-32

%DESC%
Detached debugging symbols for cryptol

%CSIZE%
5109299

%ISIZE%
27568597

%SHA256SUM%
293201f6e7fbfaa9ef4e43ffdea825481576712e22fe42ebe9b0cdd6d43b3ccf

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmlFH90ACgkQeGxj8zDXy5LpHRAAtS8GyjLPk9olxOtj+/2GkxUa8ueKMU1iEXuaTVWBRmE9ca+q5AvJ+TYoBF//r5czypjn8IXZH6lEIETI5HhfNpP+t0Kc+Xo4Al+ktPPfFA4jncGip2mrCEN/TaAYRjjPlOoagDeDsUwUKFAh/hEmijVr6UxMUO+kSUkomvbqrIKDBitaFn9O2hGvzV8kqBhlhco6roNFTXxmNTXQzJJDJvQJa22U2po2AQBhAH9J+jTXxOCh/kUkXWaacBKXyH6iEF2xcXTp6mUkESLhbHaU5JxhKt+dzrWYUizUCBniymRvEeZ8Usaxvm5NKqZlNnvJ0bp4cs3yVk4u3X87baLdsrxqUAFocYMYo83VlT4teTYOUWJ3vYdwCqrFNVvy1LlMrPo1o7xJmTNQFIGCRKnS0SZpr7Wi5pZdIXuqv37YfcFbe9pgfrX3vTznFGRoZ4wW53cOJx17E8DlWxsTGHeB0XRNd/oFtFWnHItG+NMofFycWRFTQXP1Wa/WMSfJi8y0zxvp4Mgx8dEuWrl3BJiREZ1xkq1FPobhRq0O6WyI9YPtoPOhC2E4BtoK+kkvK9fP+eZpUX/3f1XEuQN5bUYKPdEqZKXJrjr4Z1bFQeSEG340UiNHYAVUNXknwf28ACTUQ7G8tDbdSU9qjJ2qRzABeTytuUGSP2MfLLsiofd+vMo=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1766137672

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

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

