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

%NAME%
cryptol-debug

%BASE%
cryptol

%VERSION%
3.3.0-38

%DESC%
Detached debugging symbols for cryptol

%CSIZE%
5107672

%ISIZE%
27515349

%SHA256SUM%
e8859fe25f9289521d6899cd2717ed17b79ecd6730bd50f18d664b5460c7f6d5

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAml7TKMACgkQeGxj8zDXy5JXbxAAkaa7aEslOkmuY1PAUKx61Y+CYHnH/GM5h/RxBhVvxGvOlGWOlkx4wPNjtTXC0Rwo+XZxhwSVrGySmgzAe/D9Vnc1HMoV/C8Br2267WfZJf5qOPstYHZZ4TPEOpNLtNDP/Z8qiRhec2wuwCKbqhsvs5g19e1286fUzyNHDko2MDf47GKbWsqKQ0+NKabLGrPs3TKc8ptlj7Cr12S3/wamOcn6Ebob65hkPRj8M/iK8rCy0Wpkc0mlyiB5Ig3e5fIsg+F/cN2y5pQVGIFTVqoSGu49AJZrFKxe9YeSXNOuy2BnIdWQG82h/5E8zFwyoCFznKnKPPuVowrIujRxUl0m3PKUEEDuPO5DFiT/8EHZEhEoQCTY0aJl2mzFMfCkKPPWEIZ/6Z8ag9MceTL6mWlVQygeqinPNOlwpiz+eye4JqkEKCNKPGhOB7OyVhO+IOB4WYC01qYCEFyhN8yxrToO6DUBzTTvU5MktEqKPZAN8s+gLQUm0hL8eVjlb4ezpqHaveOskFQ2nieM/B7GGSZJYvaFUeFWIaVWLzQ5/165hdkRLr0hce6rGvxx0tHluNYztvOLtUYBgV6AVXhEM7kLZwbEnb/IwzaqgFEU7a6Zia3GW9tju6MDq31x5J0LdeAgw2CtKr7Dr/eEr7LUG0otQG4Pu+Q85K5gS6hCxyjA8WU=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1769688085

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

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

