%FILENAME%
agda-2.6.2-76-x86_64.pkg.tar.zst

%NAME%
agda

%BASE%
agda

%VERSION%
2.6.2-76

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

%CSIZE%
15475510

%ISIZE%
103754005

%MD5SUM%
c86fa603c40cd90408bed3f7c69cd813

%SHA256SUM%
366e1c1f2249dec5fb8d1404250ba62308d892debbaf94bc74f901a2c678c3c8

%PGPSIG%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmNhMUEUHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwb84w//fVLIUsV0bSSGS5y9RTPklhr9UOwOlov2OhM/oT61Q7xRytnTVXO/Gd9uSNCoLJzmQi+HiQmXwgvMbP//wG/SpWOMzKEzpeE2zav7cB17bzi6yuXptDRTasyIF0iXSz/nZmiCIUVpS8G3HYZi2Kh0AAmQJ0Li2u5Z476uOgUXSGIuxJofH6VUUgDmd8/IeFFaMPWkmOSlihUfslz2n0yOG/9PoMUVkNO+/4pHLmr39SMct5ZDneCCHSSGuRbAlsoHtE5dcUIvMS0hyWDlMrRbNgDzt3zbFGnr9OOnNMcA0nm2vja3QFb5j8llBbkU6MziFYeiamJFtpruRwlXB9w9lNRH+yPv6VUMA7LsTaDYySHVir5ygmmVlQJEiIX4uP8hQi3VPLra/81eK1T55k7ZFHtpk0LI+55R3Op/dcSXYIgDVoaTsVbIXP266takjN7rIqLeNGqrmXZuzajMRE/sC0DXNnVYNQcX9eRN7cH2eFF5LMlei/bDe/t5/568XvxzUkTTMzHBxv0485ErIttjl65B8WdN4qySSLScfhDNS6VPE4LSTuH3zXHBfqbPmUqnarX1AB9bjKgRIMJyABJKU060Ub4qu8oHd9ntWSUYYgl+eHmWaGBVgDawcucV1m+EvsAYzwvuJlHggNeg6FMEJp69+XhqgV8d8OEYcQLHhuU=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1648791992

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

%DEPENDS%
ghc-libs
ghc
haskell-aeson
haskell-async
haskell-blaze-html
haskell-boxes
haskell-case-insensitive
haskell-cpphs
haskell-data-hash
haskell-edit-distance
haskell-equivalence
haskell-gitrev
haskell-hashable
haskell-hashtables
haskell-monad-control
haskell-murmur-hash
haskell-parallel
haskell-regex-tdfa
haskell-split
haskell-strict
haskell-unordered-containers
haskell-uri-encode
haskell-zlib

%OPTDEPENDS%
agda-stdlib: for standard library

%MAKEDEPENDS%
alex
happy
ghc
uusi
haskell-filemanip

