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

%NAME%
cryptol-debug

%BASE%
cryptol

%VERSION%
2.13.0-134

%DESC%
Detached debugging symbols for cryptol

%CSIZE%
5997

%ISIZE%
12016

%MD5SUM%
a7f0775b4448494cc1e25190ee8b5e55

%SHA256SUM%
196e4f89e9cadfe448fc62f443d36a57a55e72f9c5886e387d9191e8dd11a80a

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmS3DIcACgkQrx0hme8KPM+2gBAAmAJsu7QoqwkRON4E9Gy2nO6itJTBghGG8UAbJjSyJ/1GHs2HGBe0ZJQlpmE5ZoXniL/YjPdtrFawjZSeYYOyhrAqiyzP/kpFwOEEsdaW5GOq4Xhr1EtvNBU66zuiANeJJPgVXMYTX1L3wWs2h1ZWIiJ8kRJ1yuwq8DKCwVGIe5iMKfH3f6z9vH00+McruG7P24yqsxxRkdJAUouzzyXv7YauY0a9GRe17MpZN7XMle9MhV/IW3mLxx/OpyeS2P35wN+ofm85yrmXpRS8eUGbu8K++XusO+zLFiPCREkfXY5oOETLnT86fXM+xhR3MuSPp3hovY8N/p+1HUH+SDeAEvwSE81p8YqhnR7OeykKYZmNwZ39Y+I6y3F3WPscpziYELIGC0WQJkQuPiKZK/vTbEljokA6nB/2eQKwYIaO15d87WdQPBvjNURHuXJkLNYRiw/mtxm6sfkbUl6QtSdwftPB4aP/E8rlugSFu+g4ENLigmBg6aGNkEyAES8DjELKLrHx7p7Tycs4SafyFPmyVtjSgAuyn704COYtKk/dt5VCx6jQFI+lLMnvzdQJziw+3iEl7d4i5x4HVQqCZQEWIdsmOVFAFGE8UhL8y3gXbQ6ruTWhHgeruG+c6oMg5ECxmoUhyErzp47obl+nFz93DyJpDE/zMbqDlH+QGTn3bMI=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1686583891

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

%MAKEDEPENDS%
ghc
uusi
alex
happy

