%FILENAME%
agda-debug-2.6.4.1-15-x86_64.pkg.tar.zst

%NAME%
agda-debug

%BASE%
agda

%VERSION%
2.6.4.1-15

%DESC%
Detached debugging symbols for agda

%CSIZE%
16839058

%ISIZE%
101976763

%SHA256SUM%
2c091fe692dfed935a58bc69c5dc869e27a7f1d31fc89246e331992d2b3514c3

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmd4PKsACgkQeGxj8zDXy5LtRA/+NtYnk757ePunNoihXAx3hu6mjmsxPrGc8i/7d852Oyw1AZRfmQW9XvvB7RKNLjNj+0jzpn0Bmvca/KtVF6UPgWBME7qjx64MOJR56rokM4+xfjfFxAGc9BXJCebNr5Ln0Nw25NSlJ8U+bPzrCbnaVmlZ3DFWDxWWbopFzuFD8sf5sv0JV6bdpbixenXpW6k8PBa/mWC3soQ2vxJiOfVp5U6o8V1lsEG9S4HuqZI14y6tc35eIwT0g+Uz1SJEnROCmo9S7Ga/JtLc/9S1fNZNeBLaZ+qM2tHDfsSM9Vu0ZdZO2tFSEOFolHBUURfZ1YHxPV2WT4FgK80uhSEs9XKkZmnwR+wg12lTnaKihIsO6PESPQDxVT/YStu08nBKzeAcbuOVRXGYLrmBhk6FgAj9EQM9qRJBTx3Ut3CjtMZGz8M/ndMYd83bm+QL3OND9RdYNyX1e37wqpxQt759FMVtd/MqgvNn9YIS+9RYY+eTaN49k0SGFbRdka56Kro3J9CbH0GClPQBs0xztyoOL/4bc4rIxaOCm+TSaZ8eA6O8XtDWgoBnecgUCRz+E49nTkzBABXWDP5qmxP3tPO0D6+S/aoXte3KFJRB7KYj1puZst8zc+BuvEv4tSBEM1lxG9IGGx7gKgDSi7nmL2z3U/W+rtK7SXZ3bR2O9/OiKbGXfOs=

%URL%
https://wiki.portal.chalmers.se/agda/

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1735932506

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

%MAKEDEPENDS%
alex
happy
ghc

