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

%NAME%
agda

%BASE%
agda

%VERSION%
2.6.4.3-109

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

%CSIZE%
24997658

%ISIZE%
241526306

%SHA256SUM%
7f983a9d15f4358aa2a1ead2ce5982a790535b2f14399eacf512430986cec8b6

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjuugUACgkQeGxj8zDXy5IijRAAkPpG0+0DbfdRYzJkWv2Z06qI7uRLDDXOcSbG5AXK5BtEXKi9GcnJgNG1NHOL/eGZw0Uq2ca7CA74sJ93eKoTlGqip5zP9KdDfBamS5ngRccy35osfVdKS3DnFPJAtnP+o/cWaZQImW8dl89J+hNVnzGbQnstYmKtNbeUwmWnNXph5G+Cs3tn5MRPGLyEBCuiS9mSNFAlEPGPcdvgD8bEc5lx1XK0TpmIAvzCJ9c9UP9V+dTHEtt2Zq/6+cmLiAw5+WYZiu6UWC0Dyx7aIgs97FNCM9zF6aDfAKr7jbrQNxQBzRvBUfekwRZW1zIvm8lDDUFsjWEAwr2pICPG7+5dCUjRMz4VTUE89lAOK4g3TEQpIdIS6Rib9c0CDxs7myPuxo1hNVCIJ+O3B7hUnz8Tv7W+hGliAQvFfe2fkMJdhD1+0FY7UMJRA08TIxkWJu/0HdGIyTmr5nyfExSdwHJHvRoiexOgqrGY3v2/zdCDRYEAhzXwx/kpa5ZGucsjy0A64Mx7gbT4ahpupczZ1CWCx1BE5LYn88n9U/CwRweiEwQNt2pFMSMe+t3Y9ILd0ds6gzS8joeMsBT33yT9TlgXg1tYK20Ib34DxLy+c1CWgn6HSS5IYa/6MiVdDASwxQvxwMRoVtzuB+dsJayf2kL18SeH0vdMv3/Pge/hC6RoMv8=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1760475265

%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

