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

%NAME%
cryptol-debug

%BASE%
cryptol

%VERSION%
3.3.0-143

%DESC%
Detached debugging symbols for cryptol

%CSIZE%
5706942

%ISIZE%
30580464

%SHA256SUM%
058f20d687d394f50ce77f030cd01e2b3c57cdcceeba5850308d43f1816b3b1c

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqp9yEACgkQeGxj8zDXy5JZbw//Q/ShY7CfgcaJ7/uLu3chbVazFunBNRamXIfdl9DzvPc7Bd9sI6udIy7BI8dyaS3T0h51tTurpTaXJJZfwLptFFdbRkdtkKEo5WhiHbD4JVox6+4Aoboc+t4EholAbkEJjjm5OHivcKyf4zTOvT4z2wwash4kYpdHRnPx4L7rzJRsSHB0T/veUm1Q94/SmVjDl8poiDemNHV7GabOi/uZF/ZOrjI0TXtnC2C5Ot4+qlV9IzzBaEUNmdyoPspsp0/pmzoD0SqbI+rowrxeoIEsl9ICF/+WhG5x8cp9pHeDcQtn5fd4wjLW/OJYwdtp5Vkix3PfoHN9xO9t4W3AksDJWwk9RLy1uTscNPuym03T32EpycMOlE7kO2ty2zqoVDcQq9+lTCUJMm0gcqEmAlWyWuO5OFlk0UO2whK/8oASHhigug3vIi5TCopAJ8NLne+FksVIJDUKqJnfPbbqXEtsjN9zBiKpQhP8/N7kv4IAv3Q3i+nEeVfwDFsAkMVVjnz6kPqkfXq50HpCmWPxJjia8P+iC6Svx2NhHyYMDGjnYZwhIZnRBH7pCNiezb6MlvRq4A37G65Sy4MhepdOLucPFEqumijoZhvv9A7RiVC3KBpvGhHHD4zZR+HDShfEGo+vJM5mcb0KwZ3GPR8/MWWuwKBDk8YnKBoKpKAK+V97cKw=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1789523238

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

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

