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

%NAME%
cryptol-debug

%BASE%
cryptol

%VERSION%
3.3.0-172

%DESC%
Detached debugging symbols for cryptol

%CSIZE%
5711709

%ISIZE%
30581552

%SHA256SUM%
b9521f30e778e6b281dfd8d61e06f832f5fa2a3b71a918b3b3ff4f14bed7eb0a

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrLVboACgkQeGxj8zDXy5KWKBAAs9HZzKa+iHOntrc0/l6W6ufSx2ugqTbAVxgaGzyWQxxujoMpDCJ/6jJRDursWsYPUWujOT803EHbI0F7Qt19Ci0u6PmRqJE7xE+deZfyL7vGKBv/grmx8OAKz7YcEIf0XNyVCfyKivyC+IfbiIuxB75NMqU6XeIfDBkbqTTwyc3YbZ6XF1sucoE8INzAJC2qF7PYUOAQa8ih7qiy+An3ED8qQMkaqeYjs8m5wzHDHrAVQCWSyds6cTPI+5MpfVw+DuwiMRTWgaWNMg0G1yMymzJVNTKxpV9DgOYxZZyaehjjqEX+0zfqLQAavX2iwUjCNmWH3BncPDOs61WOXGkjaKdhhPgrXGQpUfOwJO60qD393GbwjtHNgekWOhv/2/40B+qu1o1Nv8y4KADsW6PLcKC53H24jsO9JKVpjBnGVzoNAGCkQeYvdGZckbW8qX1wLpnzVqHUMwi8J4KlYLHHJcke9tKhFzcFREerAaY63adZIDAH3soztohEgFXeakIrIoR8jWj1uOI09BZlJoCUNzHee7zNcfJ+VAEW5gJdvnmLvMb6thxl/5eYU+EL3b/NqjDJgyWNcrnErzqaq/rAbkoiGFaTf6wFvrSIvNGC/UvUuhajd7QjLKvEgMWDN/VqI5SBl3ZNXClnc18ZIFE2YXdO/tUcGKw6zeLbDfEsDFY=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1791710553

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

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

