%FILENAME%
cryptol-debug-2.13.0-124-x86_64.pkg.tar.zst

%NAME%
cryptol-debug

%BASE%
cryptol

%VERSION%
2.13.0-124

%DESC%
Detached debugging symbols for cryptol

%CSIZE%
5959

%ISIZE%
12016

%MD5SUM%
7568183b1581815366a27f8275b8515b

%SHA256SUM%
ec944ded19170099befb920eb66069be2a12f1fcdd42cf82cb35e70ef8e00435

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmRj0oEACgkQeGxj8zDXy5K8ow/+KULI+W0omcARsiQdUJC04lyOWgQ++KvS+WtXfg/mnbKXT9PZhC2wIMg7RQ8HX1VST505vpgTCGXPE3l7kI+WFHmlkRUXh9XLmCMf/nFKqA/CQWrFswpBQ0O/MQ8q+d3JKicBw9y7PuxAcEjvomRvn2NBr9kikckC/+U5F5hXS1tEYpxxW10Dg582CpUw8gEjdPd4/8XeYxpC3fgKOf0MBQpWdhGKjW55rijR6paw/jlk3xDHn8mfn0sBn7H8WAX5SLJ9uQDRtIWw6u4AVowuHM4SRzKKxVN0+M1tCPZ6mYGy329B7F2YQ+en3ki3N+xb8BdDRQaWQTrM4uQ6ABC515eP76GBZqVvovwou92Ref4YEI0kPITslqe4vmh+/+vqKzfl+5N85DVQxidUyuUYtUsm2qUOtB42GABnA80cVAAAgkb5uI7La7ygdA5Ge2eKb6kIvBQrMx9Il2khtE+Gnkp3NgkBhBv7DjTWzt9Y/IPtx4E3wPxI3zXCXFDFTcJDDXMJ2fg7v0WPyKyAmwScSNMhW9352QNP0f61TnUYPg/opmAWgKPjvXy2IrzdLWTeR7ZDVxdw43y1ZlyJZG8iw5xcc59IimB/ssz7lUZd4MZ0ftCp89BaNFCIm5vsnQk/5ta/vCFjMMXIqigNw6zdrDOJf3R22ExgElo5UPbl8ZU=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1684263356

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

%MAKEDEPENDS%
ghc
uusi
alex
happy

