%FILENAME%
agda-debug-2.8.0.2-27-x86_64.pkg.tar.zst

%NAME%
agda-debug

%BASE%
agda

%VERSION%
2.8.0.2-27

%DESC%
Detached debugging symbols for agda

%CSIZE%
20256754

%ISIZE%
121461110

%SHA256SUM%
b1a62d3e2272ff86fd1110d8ab22115ec115936a4278d2bde56651244bc0e88e

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrZTvgACgkQeGxj8zDXy5KseA//RQ/BdqjGUnBy5/k46I4d4CfOvu+5kvMKeqmBNUZucHR8FhNiIwm5vo5fMAOm8nIui4QvQEk4BT4Zln5Fi+Slwi2DlNgdHM4dA7DoHAT7KqknvgqLgBiuZyJSpFhuKb9A7GEiwKrMmwLVK2x7crYBosV62wtUM0PNnXJ6NcxYI9gfylV5dzSiTGI1C/ahvQl0Znk9tad/Uvwnry1bF1wajNfyIMyX88GEIj1HZIJ5XGXfLLCjwR2IcKHC9Zv0Qq2OfhwHmbD3xM0CLKVjYc2df72ScuPA/z5D0HmIuG8Y3s9tqrdbrFnz0ya9ytE2ES7zxAyBLGq07abFjbYG8AGndh9sAie/KL6aKS0Y4sY1myj0D0oYgmoCIoNNB6yM3VOL0eLornrp+mAZ9CqeNDf/0RLoJOBQ8o1+IaCwbKg18BqXxkrPLtyjpxbNGSWNRpIDHxzmNC4uvkwME1jBMsixZ8iA36OaANJqASwQABymcAVSpnDH39yxvs/jMUCvT3umRp/ScEIlq2UHDodxhFg79S0yaQV0Emk6A2VBVUGDtE0i8SI1ye4PrTFQ0ExFHqoAfAC9AfjE7PrppEsxQ+vK2wZHnZpoiSZDmEfu/Up0SSNCBQ5vjR92D1Uyoj5J0tzVol/1mJLPLIUdEpWmceVq+OXBSsPaL6e/z+qnZsikA5w=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1792626069

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

%MAKEDEPENDS%
ghc
alex
happy
uusi

