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

%NAME%
agda

%BASE%
agda

%VERSION%
2.6.4.3-167

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

%CSIZE%
24996201

%ISIZE%
241523025

%SHA256SUM%
807667806903a4cb64c5e9e27644e74268aa090e3218470cb7cb58ef4c2d1c28

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo87u0ACgkQeGxj8zDXy5IcRg/6A5Ss0WVfrmUscru2VQyhGuGaAn/IRBqkSUds6BbOdHSHvMMNW9siIt78AZabd4aVDP7IbTLKS7xPe+3cAKEdueG0aR5AZqbD/bFiOOHkSMtZAmZ+to3M7eSIaveQxCCDZ+tfYRl2mw1VfNceayN1jYBnfvg9JyPD/365VyBXIKI7HGnB4O/sNwAwoO+RlXt4XrqGg6nJ5wJBXJVFtzTzURYtK6SZ5xQB/U3Xe+kt/hyieZcvNtNq+LTF5ZZoVirt4IDMulJbmI5GVFHb0PpWir8W9Xe2/wWXjJzv6lJ8I1P9zHT79HT260Lp35CDLgSBd/T5xhvIOUTb3lM8J6roUypsnPGQgyJoy7L+GVda4NYnzX2siuwqxNvTx0NTh03zoTYqJ/05lpsCdQP8LhyHXdWi0KNvmkYQtBO8ixcFVmsGD+l1O/8ip2Pu9f+59jU4+3c6vibSdltylUW9x4gxjyRKd3pDKbS8JcknBfwsFhFBAp6u52A8sPyaIkN1W+/P4ic9R0ls0wNAPiV0XO0VJZafbvKApCDQvTHxS437mTM97XSRmBGWmsU59LrTm9R0DRG5jGh7Gf9O9jJ/i71fHxeOXXQV0qjbMoNC+V5Ml6GZTItFQDtF6v6W8M2dGuOB6sR6dVAeOJ6nAyZM/aCrKjnRIt1tR+701+7xelyak+w=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1782377826

%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

