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

%NAME%
agda

%BASE%
agda

%VERSION%
2.8.0.2-27

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

%CSIZE%
27440928

%ISIZE%
319086514

%SHA256SUM%
814ce9eec27942f74053eeec079c20b06c3f986d52af6251becb1ba502efd24c

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrZTvgACgkQeGxj8zDXy5KCmQ//YMqa6/Xy1OUHOBrPuwMe4DB6jDKhQ61mkqYFjdD0qoEDSG4R5hLEBThgVGmsaEhO38VMmKBs1x+dU4rELUzPPVyuowa2ZnyYS/sQ2/wglD5JnweKhA/a9n64D6s4Y5bV8P+DW7EB7u7sRA03VYR3vd3RhA5WR4Ek/NjtSHqmucjvGqRGeHoV8kmb/vhs5Oh8oFKCVkmZL2MmTG4ZYvJVYXoM0GB+J3vKEV0my60Q/vZXvvIEXiFBadzmYRcjkHGE/TtgrYmL4G7urt4Hm+Tez+D961/8SOc+I2Y1dQH8jPtUVu8LrUxyZ1XpXZWlewveVGcPkVb785c3SjZ74lbCagcMqqmM8ibx51ZAjVY9zEjJrHkAg5WeLUHKw1A+fp2zFv8LhWjghrOH6QoaCWv1zrRH2e7ZWmEOORj/sIrMv9uZqQhTb0gCppGocOCYNPRFzH8xQdKdV75XG0pUJGqoDjtQCwhGA4RuEst8pSWLAg+GM2DO4QCe3LQWYZY/9EDMhpKCOKmSerlLAA1ELjVZNzVbSl5CtBORURNAjrlvZ9xBwcMO5Uz6v3ByAOdzeyMInC1mSwzcKfnRYWzNYukxL+KvTGdifTy7kiQsHLu7qhbhH/c7mw5Z5GV+TbvqUFUa3Kk2LioFTjYIL6Jt9sxZ1PB26tPHQRdKrqddVaaU2m8=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1792626069

%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

