# Generated by makepkg 7.0.0
# using fakeroot version 1.37.1.2
pkgname = agda
pkgbase = agda
xdata = pkgtype=pkg
pkgver = 2.6.4.3-52
pkgdesc = A dependently typed functional programming language and proof assistant
url = https://wiki.portal.chalmers.se/agda/
builddate = 1756225673
packager = Felix Yan <felixonmars@archlinux.org>
size = 243306236
arch = x86_64
license = custom
depend = ghc-libs
depend = ghc
depend = haskell-stmonadtrans
depend = haskell-aeson
depend = haskell-ansi-terminal
depend = haskell-async
depend = haskell-blaze-html
depend = haskell-boxes
depend = haskell-case-insensitive
depend = haskell-cpphs
depend = haskell-data-hash
depend = haskell-dlist
depend = haskell-edit-distance
depend = haskell-equivalence
depend = haskell-gitrev
depend = haskell-hashable
depend = haskell-monad-control
depend = haskell-murmur-hash
depend = haskell-parallel
depend = haskell-peano
depend = haskell-regex-tdfa
depend = haskell-split
depend = haskell-strict
depend = haskell-time-compat
depend = haskell-unordered-containers
depend = haskell-uri-encode
depend = haskell-vector
depend = haskell-vector-hashtables
depend = haskell-zlib
depend = haskell-text-icu
optdepend = agda-stdlib: for standard library
makedepend = alex
makedepend = happy
makedepend = ghc
