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

%NAME%
agda

%BASE%
agda

%VERSION%
2.6.4.3-113

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

%CSIZE%
24986678

%ISIZE%
241554747

%MD5SUM%
fdd4dacfda25b0dae85c4e7a68035f6e

%SHA256SUM%
e829a9cbf6cc4ad0e395290a40f2fbae4e081782a476c0c7a8a394bf8b05ed51

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmlabMIACgkQeGxj8zDXy5KqVg/8DIgQY7ZqxntAF3H1UqZkmPwpFVhAvohwMb52lnRjlOMCujAWBnANZgrgD6iKKLviYMY2+hld7FzU/n2X4w2J1LX8vSGkPvVL0wTIQnk6reu+nnK4TmuB8mE8XnUXjsUXel3UL2y8RstHiiWvJ/SLcRRjR/xePTrAfmcfrLU4Gbzs9Lg1XTE6VUP9+Fkwx/SL1xkW3bdrnUeBaTiTV+Y+/9dy2x9hKo7k4sWKgpOz8+pR/7pKwc4uZaML7b2wJKXNxySIgrouq2oU6aT5JVl8iQhZUPWJzEO4UY4whrIa3f68OADQ+DULsmWtC8Ve7g33AgR2P1fHvJqjZUbECXGjUJkzewSdOWeE753jekDJT3iSuUuOc0kdELwyjB/L4/qXPQ0CT/Chn4dr5euBhT3LQwXsL1wNCYnrolvMWRsVPyLw2rbhomGcldEyulwQcvNrxuGfiZNHk1vUc95UPMh58OmzRRCTIvIENmoHXs9Zz6PdawmtKIf6to2Y/lDtAiY4CK8msQZQ/a+SBsfKmLStjbqMIZRjCz9m3pnk8Ackeuda4utdEqqUAYgQtIqpTX8aqaon4YQY9UuzKoszhFvzzkL4lXlVr9mtf909vDKirf48iGzPczThgt8dZWC8NO8e/bgbkccOVn7j3uXISAMTSKo2cpDQZdd5xOlw2mjdgjA=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1767532548

%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

