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

%NAME%
agda

%BASE%
agda

%VERSION%
2.6.4.3-93

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

%CSIZE%
25168352

%ISIZE%
243497430

%MD5SUM%
fddccf7a427aecc3c3bf0462aaa208d8

%SHA256SUM%
bb6d69cd8e214ad1ee1512e48c250080d328e7b06d13273e8b41d9fb6163449f

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjNMgwACgkQeGxj8zDXy5J9xQ/9GPwkmn28lv4awHmUNaqdnE1N2CWEB9pHgh//4gWFv7w6Nag2OSjS8PD2t2B9mKTV5qGI4GHuUhjXlJ8Yi46NnmF3ODoh5dkEjVql1Akyd9NGpgDK5vuHDYOo1hb6n7MpceUV4hAHV4ZbNuOrQpQb1wsgyubITVs9rtc+k2/3CGUYYuf5pr0HnpczZw9GLA7i1YOS0wzCuDO2LCdXljv8Y7r2dZEQP8bw+1Qdi6c8s0lMfJtlkixAWJgpKRlw1CApL+5WSj+QlHW/ZouDF41OuHhpBRoq0GvjNYzVwu0xZW3t/pFNrxQh1vlQ4DdAdYOARH5rrIdjeVPMh5niGv+jfEjx+znhBpu0AclLmPskJe+bWEpQbVWWlUcGuxziQVVrmyGjZ+QyzP3kBOPXTrtPtiVHrkyPhEJiuDPT630tfa/dgTBUavBbV7LBXC92bcgBprZt75N0edHZAj044ggemkgNBXSmUZNaMd8HWpFVQIljJKq3iD2V3vjSgQXT6Hz+pZMIKaWdRVVuQUNsr7Llc3pLwppYmC9hF8Ft3RBW/05IlXDSxc2OGmkT6YC3B9VGrmnMs46ipUuaxWxIHIQEjM2ii4MHShpe2MbxVBhk5+RNxLcqsj8HDqxo9i2Wb0AlsED+6AeBiAoJwZY8/DPQCDZY7GSniKp+ZgzxcTLEY58=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1758277689

%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

