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

%NAME%
agda

%BASE%
agda

%VERSION%
2.6.4.3-143

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

%CSIZE%
24993360

%ISIZE%
241971531

%SHA256SUM%
3fdeee4885b6e363c2859058c4e5142780dc8417c78d91f6ba7d9be933c2b25e

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmn7RbcACgkQeGxj8zDXy5ICAg/9FZI7C0EZFt52d1/64agSoCtVLF6orgqPCESJnc1lS5uSHiZwteM1Eso993CDlseImdp9W05OV0fk+JkaWnaZ/TgEXcBnoJoV4oZjonJhSrUVLf77M8GNCxStH2fPz4BdtwRnJvpOFIwNOo2qpyFb2HC8Liq2A797Vn4nOxM4TJGeSj/gtmkzvHU87Gmoi+dMg6xtGQYCZD4pruuhS6B/pOb29Bp6t3msfl1/T/XEtggvt3ODPtjYAvxryPHy6nFC6wo3LjyvHfgwThxSj23PgCOd+9Eosx7GQYGvzumCLlsrOyq4j0xzysrDSTU9Gv6oo2cS/A2Zed7f5cg2dKDM8sF5Y1aZs7gXxdJe+4Xj2RiXa1aUvQDWY5gbrEdO6cPFkhUgJN9F6MFzOfmPJd4tIM7amcZGGcYQWsCPlGwEIn+WYYk+kJ2B++Q3hCtANh5+0hmzjbME3HJXDVzbt74RLP77b2eH6wipmXMjgDYW9XU/XiXnqut4o+nEHMwP0ju6FtQAxjugrSSPPo9hH1jzduY6oE3dcC9xxMZ4juEc3OF8CKYw/qlwVL12azQMD+3MoBhiTWh9tpP0/WUbgS9+OqTLNIK/pJ8cctNe1H6wCpdZf87zQ3jQ5LDvASIJolKHUuSlHIbLSfLULwY8lcIPsoMnG1UdQV4oYv0P+fXsTNs=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1778074784

%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

