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

%NAME%
agda-debug

%BASE%
agda

%VERSION%
2.8.0.2-6

%DESC%
Detached debugging symbols for agda

%CSIZE%
20249092

%ISIZE%
121461252

%SHA256SUM%
bdc98dfb0742923de5eb229bc861f75f2337abce6cc97b1075792c5d68fe8176

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq+JrMACgkQeGxj8zDXy5Kbzg//bln/6WERYHPiUvn6as9B3NyVlcyFCFRTIE7YcWzmEHGMzZP2ZUl70gKfkIamHlKCZcNTVvcmLa1ONApudVsMKP93Y0tc0/1yFIH/ZU1NbBJv8Yqui1SEeV6XaVV+us390u2jXwhSxzBWTl1zL1qll6te6JRFDFnLxxMpa+L1bnijhRjz354nk9RML+qwowbgWySLCTT56R03OId0fXMre3o2GzpfLzJfxrrTAc4Gfwu4PreqFRN1qAH+8LyAS9//yLuDTp4F5+1Iii4B3HF39lLVemYc9x1s5wIncOQEwnojEfhODsZ+r5h03RgSVGI2yYZqDpkpEzCmit5+AZKSnF/A71ttzntiHtRcy8oXFazqrFMcweNnKaE9to5wEojEl5iAtw9aB2H3GMQ077LC8D4Bnrv7FsVbOuyJxAcHrYP+k2uvUnyd5h62Iq5FoKTCiAPfEfZkzRApKccS3Xj6B1+ezYV+nZk0fyG1ho6sfqlvp0H4VIkzyRytEBW37efblJHW8nD6V1TI2h+Hg+UmvfD0P03223vUQbk24nv4gUnCYQft3HHqFhG3UHqxCDgIo1MHUWQDdXy+1TJahk/U5rTkGDVugs+oUT/kBWbheBDjO+9iGYar0VnzXtBeScXy1D6kGsDA+EYfLnfnjROcfTUUtaabvv9PxmTQv8OMu3Q=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1790846323

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

%MAKEDEPENDS%
ghc
alex
happy
uusi

