%FILENAME%
agda-2.6.2.2-38-x86_64.pkg.tar.zst

%NAME%
agda

%BASE%
agda

%VERSION%
2.6.2.2-38

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

%CSIZE%
15611938

%ISIZE%
104691846

%MD5SUM%
6e5deccffe50cfa606c317a3b4be1d6f

%SHA256SUM%
ea5b3051c9738b623163758ecb56084b3b32f870b7cb9d0674e9ca7a1c638b9d

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmNZVPMACgkQeGxj8zDXy5KNrA/+PeHFyW53k3fs8HW+Zh1Cq6ucXXH6gCxrWZQHO+koSZfWR+AZmK6UspUbo/U1n655VG0TqvQFK+pCYu9wVgl/HtcGjN1hEU3WFj7HE6lKECanWaru6Ojvrp2fFXe8KmHl6nwTdZQB7g9foG6EUc0M6vclO1hpi2u4Z1yRe7hEzB0WLf7lkv4W+6rDhguif2G8+9pE+vToZaQwVPegWblVifavEgHv5svOWA3iCqFFnVlRDn/ln8PQjgywOep3yWJBngJCErCq1LciQ+ILuHnmsyBFuxLMkhRxBeJIUntMQWNDsWJ0+W2C6oIzaCefjP5plEOgIWfnE5Nmhe7Nx6aXdTFJnl7MKfxy2t82Zpcco5ovqQkK/dNWPCUrLaKmBNPqq7LY8gqOPX2aGFwLDKxa0GMYLnwzSA0gor99lzhy6xffd3qmkZ7uygGxeSGy99l2iDCbpi7aoQ2n1iiaCBd8N7OOoJYIPyQqllqZBo/P+iYvmUiQ4cyduC76P+caS5D2F6cUYBxFaxtW0EbCYDayTtWQI7okzHT1To8Ldr/Pa/2eQeaUlvdElhrvJHOl8Kby5Nufg71/T0qlEioau89mxwEY32ibLnA3+PG+oNhONN1kXDgapjgA/FQrAV1a9BNhZD2Z8o5oycFoRZaczlH75cJBbsRUEm8Ee41jEFQLu7M=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1666798298

%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

