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

%NAME%
agda-debug

%BASE%
agda

%VERSION%
2.8.0.2-5

%DESC%
Detached debugging symbols for agda

%CSIZE%
20247702

%ISIZE%
121461124

%SHA256SUM%
46b792cd0bc32637873ca0e37d4d1bc412b2dbc2d414998a1ca4383252ded6b0

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq9Hv0ACgkQeGxj8zDXy5I67A//UwyClBWDmnjDU9YTyrU7txNX93JKK051HOmeTSsufmwujVlivQGf1P83KccxoT4srmliUQQ3RM9RpeBoZ7w/bHC5+HegIgrDehxGRQqyNM1uSZS24k1C8ZRH31R59BXN6cDnA5ycxWPFVEu6DlZRnbFO6srL5kfKXq7Neb/9yXFcIfhZY4xtZbO9XSkG7FD2PEVjTAuvrWUIqDaanrNoQhNO+N+tuwQ1ObEb70XJnbqGhrQmy9vlWnFmIidu7pni4lBAwVQ7fjfocmXzqTgq8n/DrsLkPMCR250Njx6QkebQkIdzIjZJpZ63wXx8Q2cUtFF3isbp5/ZzSmkKPGzwGC64CetSG8BwVT9mRuamyNNdUm89qkByh18ZZ2p+QiTGIwtNI3aoAMjCZX7+6IM9JztvA3JFNlddFLnj2Lu7dOCtUxCWDY00A3Uml7qIpDSZshJJ4hsk9SD5JG5VxN3ybXiLXhbrQ8R/wHZey3ijg8KpGPikPf6qcx7nJzMY/VxhPBgzNhuxRoNFS2Z1IVWJwFPUp4pN9SgX+ppcI+Ck9xtsYU0s3psF/4RGq09kh1k9jUSodT+9JhCiifxiqOG1ernQ3+HPJ3XuoXh7L/6V8UKrRWPJND6I2LzVt82IjmL/md4UPluA2TN36HYfL3nABiGcCYfLLLRnTpFES9OSIok=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1790777894

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

%MAKEDEPENDS%
ghc
alex
happy
uusi

