%FILENAME%
agda-2.6.3-13-x86_64.pkg.tar.zst

%NAME%
agda

%BASE%
agda

%VERSION%
2.6.3-13

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

%CSIZE%
14992637

%ISIZE%
97712838

%MD5SUM%
5a7ae6cd9b5590b189c4ead4ff89febc

%SHA256SUM%
c8ad40f92162ea91653916428a367ed338c8961d92d1175f250433565d6673e3

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmS3CoIACgkQrx0hme8KPM9CGg/7B8RX4iCZ5ZsjJBsd3DHoWkPPFh6zmOu0SXJ4tTr/U/H4OZz4OidFQMuQs9MruhPqJmFcl0wMCgFgtZqwB5r4e8BtE4UyOJ6JxBVjS9ze61x7Sir5FWWCcsrQ7eQh3NpHKMhWQLeQ5btHbkInklh7a6a2hJAvaYKnzaYWvSMw21FkqqijICxfMB4OHfCJufE3epmRCJNjglU/LTJnm30gcwvbSDn/R1C4x15k0WaXUj1jltg69C17gnv4fAr/JwNYuVdn+95pEdvA2rLPNSHpAB3066bjUnSOXO7m1t1kMg+w84vM4C4L6nI6pCo1u4e3KSbUsSWKTtnLq+YWrgBYH5wAHjqNMmtOuubhv1xAAcW4fxWdHQEjFVIzcs3accphxgQqLkMOJz6dVsnzkxeidJCGDpDul+7oV9lMMF0aKMzItGDSgknmDneUlLQPUPJBMuv2nP3vzu0a3mHjtd8wNeTUfcSGQ7XdsZGN1VDpQ9oeTNaxRYEA2WuDv9g2/TZziHO792MmCC2lizZEQGXAoQFmnaNdrFRLO32tQNVmfUCWFnlyK61hh8GG2M3M7MXh62+FQAytWq8ngSZD/E359oDlDdrt9Ql97DymVf9EzV4OZxSA1D2pQ6Da+yPuAXylVxkMKNi6IEq+5jVEpgv1T9APYxjjU0KAIO+Dk8C083o=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1686580274

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
ghc-libs
ghc
haskell-stmonadtrans
haskell-aeson
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-regex-tdfa
haskell-split
haskell-strict
haskell-time-compat
haskell-unordered-containers
haskell-uri-encode
haskell-vector
haskell-vector-hashtables
haskell-zlib

%OPTDEPENDS%
agda-stdlib: for standard library

%MAKEDEPENDS%
alex
happy
ghc

