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

%NAME%
agda

%BASE%
agda

%VERSION%
2.6.4.3-163

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

%CSIZE%
24996536

%ISIZE%
241771672

%SHA256SUM%
be9c25712ec95ae7090a8eebccc3fe8512744e4838827c8e7be9283336d87332

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo6tJQACgkQeGxj8zDXy5LtSBAAn/lM5+Tlf/dvOQYfVL2zGkpxM/KBegyZnBrJxCmVmMwEuhsaMcooIfJoRXgcP65m5E+Z5K7bZeWQtZFK4VvMsjvExIyx0LqlOAopcnQzkt7iOBHcWT0GdJgyWcpfQx0bNlwXhHkZuwcldk4M04R0x4dgBTtR+xZ5OQ7OhwnM3KNridwmZk8xJ5mEgvmeXcnSkIF/O38fnmBMpqqXfMHPZ2R2YaJ4gpFIQSe01qlXjVJfnuuS76KFRlu5r8qu2hRVmtKFRDDhKPVZiUIS+7HnNXoIoSm9HhvpJihJGHPTFt58A5W9ExebPvPlT6hKtVCUMVu4J6OrULV7n88hNW9mKopB2LJFKNjyDWb9h3tc/TQx4+BvamjG5KpLwnCamHH/EQMt7QdUc3a694vIq/bfIBU5E4y4FzHfohgvb5mziWh0NKhfPYb7B9K55SZ8UcNccbzlYZ+7XXzc3VKkJjxhHk8vIRS3r+ZPlcg+1MIkafW4RPkCLQ3KZrlDedkBe59B4LvbRPcQtITidTcfLBnfnG94B0GocH8TjJ9DMzHKAUQlNynNDWg83iVQ8R+o5ku1k6lgz2oOAZ4N/sCx5bcWGtqQwh7atr9HOrK/Frado64cZjHTeTSTzGxd1O8M4CsMlev4xp0HB0fpNqLCtd9haMZsCeN/sq8xup8bGKBxmbo=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1782231922

%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

