%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%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmSHOwUACgkQeGxj8zDXy5L62g/+MnWr4Z4mTugtpYg0qwZWhRkLgTqK8CFewC9Wi+EkU5tFLzTIAfLY/QZC8KfiZ9RImNRb3mJ93PnzWkDSON3DjJMMYTzmq8BIDlmyyHIKsEuPhwvUA6jQpXy73nveOWmRkGitJWK4+vWqTrweCgu00jXXnPuDNIFJhQBLVkw1nRZZJkx9sNaDzGEc4wWiXukEIcKnd7xpqV4Z8h3WEnoCPmid7dKgpZRevylHi1rRfzQXlzTigXM2DI5D2DV1pLMwW/PgPKgNUfUaPp23NXUi/NXBxMuGAX1SWIDwZJzkfvcUVRK21MMRVscafq4LWYN2OsBvW+r/S31k7ZnFk7kigtoXAGz88nkzuclzBTxUc97vBTBVe2OcXEAi+cMJvHbXA/J6d6xYybbkbM+rrDLkdFUEuOtYWHQLn0PVCePh4/RyEUwYsD6YVYTBUmu+u0tmOR74nxa9aqclL3LqkKVecAL6xIXoaC65DJMNaBxx+yVTClf1Ezc+Gus+D2+gFsPjbpbxaxujqs3zyvO0foBxz/qNmRLdg6ML6FgE3TnPb7XKaE1P2fzcdZksiESHI3M/cw9aG/pRgSumsu3loA5BP7pEZKGby3bkpFWzL4JUx868gDJG7y18wikQkZyJ019RcWaCS5Zu/hd9AcbRKIx3wLA84PWNm9MUhx4V2utlJbU=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1686583891

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

%MAKEDEPENDS%
ghc
uusi
alex
happy

