%FILENAME%
agda-2.8.0.2-16-x86_64.pkg.tar.zst

%NAME%
agda

%BASE%
agda

%VERSION%
2.8.0.2-16

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

%CSIZE%
27439510

%ISIZE%
319742902

%SHA256SUM%
13bf37642249a81b71583b8a1332b30613d7b49c65c04e209398ec7cfcbb05ff

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrF8+cACgkQeGxj8zDXy5KIcBAAhGIUF5DOOPIt3KLP5P+DtuFc2y8MrfgMxVbkXE421ZYGwzsHjOcX515+FRtRuUZaesnWm2RYuREJffJvidff0XB11WdP11R6nh3UVwZE2A9kBHREgnlHNWlkVDZCC5dTHmjGxsldXnHGdrEZiGAaLJKdFWa2Gy2ld0oqXMrPjPzxwq1o9UcdAMgb+MA1pzlTmqsnRD1mHgtbjKsSKM7TdpPaEk709qgd7y8mKdvu4HzFEtA4QNu1S6fY9g2TU1wxd3f3Ykics1jmRNowTarl87dFlt245AhLwgGy5HCWujs2+ihmvsjnvtEvuYxKDeOEyUaanio8wcp751EV8qo5ZMdQw7NGhbxHYHlmOAqcaZ/QSnD1/Maxjz6KN1ROsddozmlNdNsSY5Dd7ZVDwkkyxTa9zzGhf92Lj3qY+of2FfXNJ91Ur4H/tD8zakP+bD8g8bbDYQPkR3miHl+MsPzHp5SZJwtz8GHXlyRNQeJkaFBrh4gIJn6lJhtQ2un73YL5w8qrFw7YcTPJ7P7+43zId5CaTUKH5amJgprKyFdeTLu+3T5J7YgkHiERz5MS1DDQgmraOx79+QZy8ZzcBBYAgLjuhcNuLG8lJ2Oh4ga4DMa2XmNI/0SAKJCDofKs1GzKjs5z7WwRktcvOMASOZVXnARj9dHVZUruj8dm0kW2zEo=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1791357506

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

%DEPENDS%
ghc-libs
haskell-aeson
haskell-ansi-terminal
haskell-async
haskell-blaze-html
haskell-boxes
haskell-case-insensitive
haskell-data-hash
haskell-dlist
haskell-edit-distance
haskell-enummapset
haskell-equivalence
haskell-filelock
haskell-filemanip
haskell-generic-data
haskell-hashable
haskell-monad-control
haskell-murmur-hash
haskell-nonempty-containers
haskell-parallel
haskell-peano
haskell-pqueue
haskell-process-extras
haskell-regex-tdfa
haskell-split
haskell-stmonadtrans
haskell-strict
haskell-unordered-containers
haskell-uri-encode
haskell-vector
haskell-vector-hashtables
haskell-zlib
haskell-text-icu

%OPTDEPENDS%
agda-stdlib: for standard library

%MAKEDEPENDS%
ghc
alex
happy
uusi

