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

%NAME%
cryptol-debug

%BASE%
cryptol

%VERSION%
3.3.0-86

%DESC%
Detached debugging symbols for cryptol

%CSIZE%
5709871

%ISIZE%
30578853

%SHA256SUM%
3fce10d984c4fcb4f9656f2f89586e6227ccf0905ec62951c2d34203e31fb84c

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoHoC8ACgkQeGxj8zDXy5IzXA/9FphZtgubr6x5qRZcP8g4/AhQMXL4jsh2fjj7wSV305YGcbKybPT8BuY3guraDGTV3mGKNfD4b1ACSvqpe890ZxVPzWZ5ZnCArT+QtDGfg2I7y+LqM4zeMdUMK6+XcGqHUcUbOHc5qJWckainiicYiLMplqDmIfOlH06jomoULqtR5icnU4GJXjynL4Ml9ja/lKjP+alGVi7dPyXrPsi0w8ZgkfO3iWUBIRcAA6BCkYzhGKmzkwRY9wl5E2ner+hjgyDFuFMmkIQlM9AzZzh2eKbnzuD009Tx66JHY38h0+dne0P+vN0GqbFsLS8bjBuApKkeRnva0ZXKoWFuNvVAIxLqOUYMr6IBVSv+fgOYkHxH7FepzuRZeRFOQOZAvAhAvmoxidRXGtQu2uogMF3FI0SzfXmsK6r+No1vPR2eiyGyXHYhDb0ZwTWny0vX5/yxvmMFFhBHaFTyTDZYeSXJIhZOeLqFzWrKf60A+rIjFnQZ5ZTFD60UXfHG984Fo4Ne2Xfa8UtNA/9kum3yaoorvDGCBkcRwFAa0uGB+J9Yazo6ZR7RyQSC+sAyfzDsYGWykkALvGcoN7kJ7ZI28lWChxia6NXVeurdaBYnS1260uecV92qa2SbaKbSCAvWC0Uv6+75TqSUv0lNGoESbVpm7yc+P7bLCzVngCUmiEoi0/w=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1778884287

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

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

