%FILENAME%
agda-2.8.0.2-34-x86_64.pkg.tar.zst

%NAME%
agda

%BASE%
agda

%VERSION%
2.8.0.2-34

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

%CSIZE%
27426857

%ISIZE%
319085137

%SHA256SUM%
74baf114fc29147db50c31c272e642212af40427fd2ca7a698a4c65af43ecf71

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmr1t5YACgkQeGxj8zDXy5LrAg//b3amOIo8fyaIuGs6warVzmAi9vSTWpyoodWzaymbmEdk1iKzDiZYdlrlfd5nDN07zboiGaparXUqzg2g6633PsysrNk3ZaHjtUN7PrGtxPj/tN9U/bnpq0RHk09DLT6tn7yaC/OvLK4+HmoFa4kzxv7pRKj72LiYAX9UFVo5dU3qQROCUxpgbc0hK91AnAiCF/fesJmpeRWkJh7fwo441t/jEj0rsAno8pT/6oP+C/FHa+bAJlyuLczNySTGVW3VPrM6xh876HlzRo77EGzIFtm9u7HeQPfYkN4/UizePB7wgtK+c+aLRsxaOWT+H92LiTc7sEJ1yGiyjwyIgIdWZrrvj+bBwnNmAltSPqbbu13z9E+4V+DH4cKwvKaJ18SBUw+v6aFsU9VKI1ST06YYvpwVkIzuumO1vVyLh0fpNGyrkTFWAwsMMOH7TFu3s3gFQeCCS0M8UQie0aEKgkTtL7fM/pmvABCiad4b9rOKX9pnKP+WCj1ztSM6iQLp+emIhEyaz8VmZjfe0nPZ+Xn/0WKx+JEq4VeTDs/bURdF1tqYVmW8z+NBBlv7sDaTx4XKd4cS87vdb7bLgm4L3g8axHHN7iKwuHZlBvekM7X2O7DUGz7u/XSFeACngt2zGCdVuxLcBmOYAwdyOnn2kqdbUCm5C3LorGzzaUiuhQgvlRc=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1794487579

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

%DEPENDS%
ghc-libs
haskell-aeson
haskell-ansi-terminal
haskell-async
haskell-blaze-html
haskell-boxes
haskell-case-insensitive
haskell-data-hash
haskell-dlist
haskell-edit-distance
haskell-enummapset
haskell-equivalence
haskell-filelock
haskell-filemanip
haskell-generic-data
haskell-hashable
haskell-monad-control
haskell-murmur-hash
haskell-nonempty-containers
haskell-parallel
haskell-peano
haskell-pqueue
haskell-process-extras
haskell-regex-tdfa
haskell-split
haskell-stmonadtrans
haskell-strict
haskell-unordered-containers
haskell-uri-encode
haskell-vector
haskell-vector-hashtables
haskell-zlib
haskell-text-icu

%OPTDEPENDS%
agda-stdlib: for standard library

%MAKEDEPENDS%
ghc
alex
happy
uusi

