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

%NAME%
agda

%BASE%
agda

%VERSION%
2.6.4.3-152

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

%CSIZE%
25003684

%ISIZE%
241772247

%SHA256SUM%
5427c08ffb1754dae573cf5b93740fc279458e0aac1b7a5582b5a43c95b09c57

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmofFvAACgkQeGxj8zDXy5I3nA/9EUd8G/zgb1ToO7EV1DhaGqoy3D4qnk2pJ6xRQSC6+HhCaq6/8oEKkDhe4wW2vPO5hXbuX1hkvvVBB2rcj2Z5z26Ts9sYn0dK4M44WaDeP3l7wLe2rFD/Azj7vCm3ovxk+sT32L0X7DPVrxzsKMPbyt2XHp30DHrH4/usUY3Sf9LsAP/Htr4QXBT2p1Si6ABHUMS54j+PxNv7u2AIxPCug8gBB2SjZBKaG1jhEremcEUxAoQhzPEnjYUfwjL0tQvRfq9gQ7X8xF7HbYJ/ar4dnhAIcTPagy22XdRPVXXGKvVplQ1a1kYtklrw6l9zUgdy7giXiy5DREKz1OLTfn+V6NUEMPswji/6vsW3Bf502+F3nHPV01oUIFw+XaAOBb9lxURTg6nbF06KD1eHrunKoN3BNolUj7rwJVH5tU/z7UOlvPTiSkZdD76Ohz2a8zugYRpPGFO8IuP34HggBN7iloPoxFnXm5RYqza/wpoiQeSgP0VpoAnrYPj9A4fDzXBA99RPWChaBm9H1YVJ9m0u3O6Uvno3kgrzZQ3UFh/WeBtHeELUuHzp2baXVwmI2ql3AB8F5mg3QvZ2dLz/rRYYl5pLLauO2vlXKq1QfNv0tRqpCG4XfzYtelq1NYaLaiEcd8pAm112+/EBMROfNPf1XLnwAHlZplU3C8k8pJp1rXs=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1780421502

%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

