%FILENAME%
agda-2.6.4.1-26-x86_64.pkg.tar.zst

%NAME%
agda

%BASE%
agda

%VERSION%
2.6.4.1-26

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

%CSIZE%
25150401

%ISIZE%
244773711

%MD5SUM%
77d45c1abf660bbafa478478c6f15572

%SHA256SUM%
157f90aea1f455331809d593fa4b88a23019ffd677c0ac9912c68122510dbcc5

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmfXJhMACgkQeGxj8zDXy5Iqew/7BC48tVopdxnHPDewZ8GAvOjMYKLs18tXaj6/26SVqwkFVWtFi5oGb3P+OEaNzN7P+RxWlHEPQ4Fjt5F30MzYmZvWUBujg8mY1d/Gs6BpZa+JClrlYVaZ1zzyXswLdcBckCptBcRtrNbFaU9oyO+Iube1ML6RpbauIYaGS1LLbto1ubzGyq+L5KLPptqR0lSrXQ7SiJIaeyX20u5jyQ6PGRXqr8rHm/Hci5U0UzGYTJc9gn/C9Mi/RoTYfTBMdLyRqEgWmxcTywTSH2JtMd/vPlTo4gY3BglhAJyNXudWaWtih6dlWa9VQ3dQZzoV/svLlpsEmWUjTWUJ0aGqdYZyW7Yzh1loHXtZ3ST6KoTB8tw2JS2AtDsn7Y+OM6RflUzuJAgMKjHvtYGEzN3kHqoSWC3QPcNo2knHAwCVUoMZ5kAen9Hx4u1afvbkzrKoesTR4HV4ov0I+C7YIXN5zCKFmxwU3bqjy+bRHfDKhW0Ajg9hIvZLxmY5XGqpwOB+Oq4yWl0nAhf6doaHAZARVO96rP82KvxEGyQVmn0B25scY9CcrxJUdmkmBmk/SdTzNxkMqVssIBjeyb1al1vut92vy4UjZP9NnWin2itZJHLBzSRiXgLDcjZWhuK9LNuqly9zdLlY4VYaLayIGX0zPNqVj6puBBEywJOQSv85MnXN7Rg=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1742152588

%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

