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

%NAME%
agda-debug

%BASE%
agda

%VERSION%
2.8.0.2-30

%DESC%
Detached debugging symbols for agda

%CSIZE%
20261161

%ISIZE%
121812966

%SHA256SUM%
9e7548b188f623df708c9c46390ab8d84bf6a40a97d29c727d53aff89d7cc3cf

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmrkAqIACgkQrx0hme8KPM+2Aw/+IWMHsrjxE6/VmdMARRng9U2MOFhQXf8m1ewJxfaWSXhlqzq0TyNZLnwv8wx3nxJ+F89pwfNfMgK0qDfJ0imfNgaGhpKuE6Q36qdTiBTn70Rjd+HsBpHFq4W54URseOp6B+/SSEh9Y0M6/F38JFNsNWWJeQ1/VRu1OdouCpKvLS8axH9nBBARlBY970hfjTCGL7Dxgt6E7cSj72+wU6bgVM6t5sh9OHQAvvTeeaV1qQrLxTUO+mRk1kQJA9y93ILVxabbptQ/jAstNvxPoHECkOdiW2Hkej8rhRggNeCSKCLIaEZvNJcYzrJ2IwqlDtasdcibP9R7f5VIFfsJeyFU/7Ja8ccnv5j9eo9HPyQDXLayqoIjDY4O4GOToaEeZ0JtyWAVwlPnzH3ZgmrXe+TDpOEntTioa2jIr6QBjY80ZMh+IQUOggRj1060ykCqr0fo1K1wcI7ojtlVGbOgf7eHaBbW2WQAO8S9B/nM6Rn++PQCC0kO6hnor7pBotHDWPLEpIwR3dFsXv9lm87I5aiK8NJ/O+A2LXh4SCuHEicIHdm1x+FlwrOAWNRQOA8fHRNsn657004KbkMzpsOwaCfTKm8i+4puradbkdRGT++9yE0D+LV0ilCMO4stfR2VcJHiP3W7uKm09DGAJ8/yRJKFouiAhvf/E+4SmwS0aEQjnpY=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1792828530

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

%MAKEDEPENDS%
ghc
alex
happy
uusi

