%FILENAME%
cryptol-debug-3.0.0-44-x86_64.pkg.tar.zst

%NAME%
cryptol-debug

%BASE%
cryptol

%VERSION%
3.0.0-44

%DESC%
Detached debugging symbols for cryptol

%CSIZE%
6291

%ISIZE%
12016

%MD5SUM%
e7addf0738b1c4f06b0a1f7a86957fb2

%SHA256SUM%
acc182f4352c6306af197893ce8bfcf512664da82252e9a5931784128e851c2a

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmXL+BoACgkQeGxj8zDXy5JizQ//aG/goGkCm890Y9XlPEQ2978jPCvDQUSYH1jaK4arDJoLtdppXb5k716gK745DcvYfUq6mcceq+nCM3859hshGTMka76I320myc17+B5ZjFPLbxvAzV80EmiDywzPGVEPbl3EaPDDTNL3x04rekX01mS7TaHSSv/zhvdccEgGCQ+La1JvRDEO5qI1gxYaYGMaR6KPCHXUcCCKoY3qvqsbtWc+1eBw8D3KneMHZvAblbdeZxsgmzdl2Gd/2ZneIxDT815jXFJQRero/t4kxM3iKlgC5S1H0thpGejFfruv+7WITR04sAgKhdzDIm92cZCHcZ5f0Nx2+TM6iyS2uJOIP9MM9r8PHVILnOWILvN0QPH5g32iEuets7d9LQYkVoC278sPnsqcN/O19S2+Kp2X2L8LXoEEyxbFGbsuSaC57uzEhMv4shjGHP0lv9AtOFmO9FO9WQt1H2sEKqPHgD/JAJeb/Jv7lH0CX5h2+7u3MoKaqW11mVdtzB2LJ+gv0EJjMchRHOkDEnura/Hs1V0BW5Q53UOq4j5cVUxse4m2FWgVQLDxE8VYlY6MEhQIPzF5sdYRcWRQp3dPLfjBmoyHfUVHohdiE8rSNN0Nyr2s5oqLTym7htjxly61YMusLpDIlsgyLuNpZ9acf0zyYeFM/i8ohsyYKL93qoziQMcL5cQ=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1707865698

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

%MAKEDEPENDS%
ghc
uusi
alex
happy

