# Generated by makepkg 7.0.0
# using fakeroot version 1.37.1.2
pkgname = idris-debug
pkgbase = idris
xdata = pkgtype=debug
pkgver = 1.3.4-462
pkgdesc = Detached debugging symbols for idris
url = https://www.idris-lang.org/
builddate = 1760579338
packager = Felix Yan <felixonmars@archlinux.org>
size = 31475347
arch = x86_64
license = BSD
makedepend = ghc
makedepend = uusi
makedepend = haskell-tagged
makedepend = haskell-tasty
makedepend = haskell-tasty-golden
makedepend = haskell-tasty-rerun
makedepend = nodejs
