%FILENAME%
agda-2.6.4.3-153-x86_64.pkg.tar.zst

%NAME%
agda

%BASE%
agda

%VERSION%
2.6.4.3-153

%DESC%
A dependently typed functional programming language and proof assistant

%CSIZE%
24989223

%ISIZE%
241570259

%SHA256SUM%
5d93eceb93822f45fba55a9862ee9df039e83d782e4c77a79713a6ccfc2c46d6

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmouz1UACgkQeGxj8zDXy5LVshAAtvMS6oplgKA0Z5KnzrFjVR59lnJwTednE3tKEVf4fiNf67d0VzRmkio2RtOkzcjlspn3elUlaUD4xLq3JUaib0VKYxP8K+tBDTZPkUfa6WRYBWQMfI7FRUmvSRhmvQhWzHcBUcFAbahWrhp+NLcfLBqzOpz+NzoQcymP6JLTKCx+kA6mavDdQ/tDq5Qt+Xb42tg4TkJ2lUd/Vvs0e73RIBufE2vX24W2dnQX1VA5NMjnnEXAdSaA7V2/uCtxBHfIfOuEQK35qfHLFoSz4iJmC7niEfQeeA0MDgOz/4zZ8Nn/ncYeKUrr2rDL50pH2JumxFnCJTVmmIzQpXwuD1sD3ZGRqAZRiGnKgMZwFgf9wtwMZXmJ+0GhUK2JD4sNqHyTaVY6jxaUrZimBq94qMi1fF3FnfUee4gSlo+MzqQWSuJAH4fGDhxXc9JsWv2rJ9QVk9GMkKQ9ROiE1n5RmKZmpw6e7wZYDypKph6PeX4WevTB0Odhb3y8u2oJUEh5Ph4iifrhBzn1PzlrQI/QFT0I6TNAHB54iebuXHlCGiTuAu2LeaZoQJBtgK6XCv5Dv8kJL5ajPRUtGNvm0j+Vl3biC31XQKGDMVBzViu45AdKa26x4vvLNsrgkdkWKSMFVKJGWEjJDrkGW+AOYv1mZ2xjoiQw6tnKzNI9+/+froyzzJE=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1781451896

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

%DEPENDS%
ghc-libs
ghc
haskell-stmonadtrans
haskell-aeson
haskell-ansi-terminal
haskell-async
haskell-blaze-html
haskell-boxes
haskell-case-insensitive
haskell-cpphs
haskell-data-hash
haskell-dlist
haskell-edit-distance
haskell-equivalence
haskell-gitrev
haskell-hashable
haskell-monad-control
haskell-murmur-hash
haskell-parallel
haskell-peano
haskell-regex-tdfa
haskell-split
haskell-strict
haskell-time-compat
haskell-unordered-containers
haskell-uri-encode
haskell-vector
haskell-vector-hashtables
haskell-zlib
haskell-text-icu

%OPTDEPENDS%
agda-stdlib: for standard library

%MAKEDEPENDS%
alex
happy
ghc

