# Generated by makepkg 7.1.0
# using fakeroot version 2.1.4
pkgname = agda-debug
pkgbase = agda
xdata = pkgtype=debug
pkgver = 2.8.0.2-31
pkgdesc = Detached debugging symbols for agda
url = https://wiki.portal.chalmers.se/agda/
builddate = 1793577902
packager = Felix Yan <felixonmars@archlinux.org>
size = 122164790
arch = x86_64
license = custom
makedepend = ghc
makedepend = alex
makedepend = happy
makedepend = uusi
