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

%NAME%
agda

%BASE%
agda

%VERSION%
2.8.0.2-21

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

%CSIZE%
27455514

%ISIZE%
319087534

%SHA256SUM%
25cb70fe8f6e3bb7d9d8c3922fed66ec08bf19c76753b68e68c28e0e2e8e729d

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrP/1oACgkQeGxj8zDXy5Idug//Y62FG8wep0FTZ/j14ZGZQN2v5BlmoS2L9qNWDHLCma/jLlOG4rgtW11UPkscSaovQp0q/Ohbi+fE6bpYIpqZdFITsaphniflWKxSHtQdZA2w6LVXeF25OiMl6QYsEUKyE/hU/AdTOtzehF3Grs0FJn4f6xD97Oo2xBKLeDzR74k1HiH7G+wR4ao4q1o+LPvcoAWXo8C3AZCn61FuLikXiyAEQwcfEK8DWzmm96pkOChmWwwAVU3NT2d4glbe8gfjYPfNIMl2PkspQARqjqi3R1xhprBEc+0FYeeLqSH6lxNWkhrACaHVq+WPTOT7D42+GIl8YUeATMRkWcEK2PF6cPM/FMbEnRxXLao7uw0srCmggjvD+SDfjUugU+KqxQNB7F/Wz26ED5boy17bHovQdY4gjNibvZaDCgbOufaQdOQIg7/CNG+c9PVqdvWOUt5e7VRWosT6nZr2+okvn6dciNp55rrJd0s1xjRh8+yin2KZMhEQ3jrbespwsA+WjqkmPa/lJjJg7HEa5pv5ADcaNcjgVFlNCqpMIm7ZdaT5kzWOf9RQZ1+KB92QyHPFl/qRQ/pcUnz18dS2R09lODJt+xwWe1fP+GzccqecDqWM4eRbsig/UYzIZbCyxja3+XlrXeUerBkmMjwwRErUmxiR701lW7Ic1WA5ll/jRK+rIsE=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1792015737

%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

