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

%NAME%
agda

%BASE%
agda

%VERSION%
2.6.2-49

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

%CSIZE%
15570710

%ISIZE%
103946756

%MD5SUM%
2a55710cf465a43f0659e711be7346f4

%SHA256SUM%
ce74485359f558ec50b30c19dfcd12c18d4c6e80a96400e69725860990b7bdcf

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmHi41sACgkQeGxj8zDXy5IRBA/9F36gpYHAoIjttFCVnddru2K3jydAGpfDSaFoc2k5Yg9nWBPyAbalP//9NcUCK5CvqU3uBe9WgumkHx9BOBtdsze7ux2Ky4jKGGsgwtb21KIAd3tnDZy0FqST89PSQTIRSBDBtwO6tBX2dG+L06eRYMxACYan4C4FwuCUH0AdHI3W3yQ8MGAZb9MfAx8XOLmgk6Ohhqn/+vLgXfr6u/KoyhqsNt7w6z4bfJp9jTjFaG0jiY3I1qvS3HoqHNaTQw3QMnlb8n81SR4sK0YY90PorGtpIv1U6FQDSAZNdnmCrf1TKAiNq0BLqpRK3LIFq/zXU/dRR6qtPk9y0zqGX7STR/IHG9SxASrgb1/osdmByT81VVB3zV7rd5eNDtWr7aKamxmaOjOsX1nqHroo1qrjtuhCRHE1WhHI5mUemz4VhMVK81pIkH6RdjD/2yBnxp/S78AyT4RFyzPJRxKsNBE9Qg8Zvi0TkWzofiLT/RuilfrARVUwaw+5La00qukgxPu7wACwyTWdfdNhX34JNbrzdRNI0T6rOVnzLyGP68ul3L3I+N0y93pziZ2afYWxDUdbVpLw6mlmRZBJ914Qg97Cz0rbRK08lgsUaAxXslnAEiXWotdPR+qFkEiWfhQBNVXu2oJuE0fsifFDoxTGkaFgTdhQPVBr5AnF6we88nxXOIs=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1642258896

%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
haskell-filemanip

