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

%NAME%
agda

%BASE%
agda

%VERSION%
2.6.4.3-155

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

%CSIZE%
24991019

%ISIZE%
241570821

%SHA256SUM%
9c459c51cd284f1c4c7c5abb2ccb273337a2e16622f17ff73b1150f5e64b89af

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo0yM4ACgkQeGxj8zDXy5L4Sw//blIk8EmFRQ3NB0pZKF8paUvDfWq/pwyYzmMcXmtGSOrw1xIdV+6ThSawL7cq+4AnEyXrYG973dqsFq/5VZaNSuZBPz3N6hDybhawoOrrK/6WpA1aLoNlgrOQoi39OOuLgIUsaLlU1+R79pwULV81eIdjBDRUe/Izon9G68d8Th7f1xfGCQClqMcwaepsNiQOjnmc5M+S/LDQJ9r+rLftrFpylNysGmcrWOjDlzqUevCxzYRXimNKbt+VouGIckji65we9Uao3epcAcnQLQmyLwUoJ7dr8/QKU0b+BiaIj9XCx/3TtmEisrzG1GRDwi9UU3vybpmSDLf3e24H9ANWKG0W4AhcnmiOLDLqor3S7yOQtIjKRbC7Tvf6ij9QlCVlgE1WWjS1VKRFpNBjB8wG3dNckZ4GQ79NYma1bOhhLm9L9VnIJtwERLJOxsQG50GfKGkeE5Ynr+AzXmNI7Obi6YMz59TzQ9KR+eKFaZWGZrBvuxLbPfRsrLV6kGeY+hSkhZUGVFa7REBGNIioFae2OGRx7deHt/S+EjySo7eXliKuTty7Y2PrJvG7lX+3+favg1xMga7gIHoGokifUr4eLZCMg94aA3mnc7sSYahjCXRLfsz4q5JYXxt2V9bo434j9RXDST0DTu/M0gCBXFngrfS1oji83afryizjc8QdwO0=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1781843762

%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

