%FILENAME%
agda-debug-2.8.0-11-x86_64.pkg.tar.zst

%NAME%
agda-debug

%BASE%
agda

%VERSION%
2.8.0-11

%DESC%
Detached debugging symbols for agda

%CSIZE%
20237139

%ISIZE%
120755410

%SHA256SUM%
8d1e6f13c21338adde77d35ed7d317689f3476b5823aa3a48464765e935ce640

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqwvqEACgkQeGxj8zDXy5LCJw/9F3sl5kwuzVUHQqcLgMVIP7o8XSpzNDgTZiMLXu2jsDxMcAi7r50NNCPhsANOvbgwY/fcW9eaxPI5f+NUxJdaA3GcPPcmfdXJdOevqxOQHJuvsbSlI0bKqRX8qm17tyEGIGRj8aczgL4df5COjr+p9YhuW2HTojVO8KAAoAhrjwArrj8AnehUG7vOTkwNc05wUsh+EDh/fPlXlRSuijI5BBjbF/L3v6srRobOiT9jQILttNHTtD7GE8JFFj550begYyH8cAitTosTYV7iH2gcVqzZYD6hSUsHRYP24EsJvM5u3boUgFicRCrqbBpUk5VfMqngT7GvmfbvzUS2BoZmNZuLTjvGKwWjRGYs2yuGcgzMsAIGqZhPxbicgPFxvMs9ATwVxseDvKS3VTwIIEvczZ5eREWdvXJezM2xVQOGSYe0fKBc0UimTJclFyx23DagVgwWHewcalqoxWsD2noJChseozSbQLPoaCVSNcVHdYRjyoSodEx8+WdHYPSFq+vCWgg/zrhEjZhUq57h4WhZ0Uoa/1Qe7X3FhqGBmxUSPKIvs8MCCWfn4eMV3Nk/kKRt7vj/zpV7X1FxE4heqPL0A8pBKg6rIvFAqWqmAPXZNTG8MdbjAKbSARWliZ9Q+jtj9BfyPVSw1fOUVJdCoEX/ZBokdWw3KJQBA32SDDXalcM=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1789967615

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

%MAKEDEPENDS%
ghc
alex
happy
uusi

