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

%NAME%
agda

%BASE%
agda

%VERSION%
2.6.4.3-149

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

%CSIZE%
24997414

%ISIZE%
241570952

%MD5SUM%
005c0e7df4fe4c5da1682ec17bc1213e

%SHA256SUM%
3d2ca75e550a7c67ae3b0f45dbcc263868355fae3a60e3b857032ac5773f726b

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoGsgkACgkQeGxj8zDXy5I3lg//VnzuS2p0bFxxeEq9KfSzUlm8xWDUjWyrYjHkgTHLcfZzP+oRt5y29yhMQ5SMR1Iucfm58y4ESeSMkJPYgkDcE0xKZhPbf0EMLQGFbnH2OmtnBKBeXB4lHYM5OUGgU5LjFON0gf8ySB9uwEkc4wy1X7yhDhvfshszkhNzPinr+E0rBssHZKCZmCj4lOQmh7DVlV4sVTHVExIfaE4nTGN/c9Dky6tRJb8OfM7FJo77RLvbRphSpWQHM8gmhD43+WInd/Iivs6sdqn/V8WqMtj2Xcg2OR044gRpbPsXB3731nyTEaKhcTfT0qZ51+2u08wDWVns/PXPn4+aLxPQ7VmfKL1N5Wxes+0hl+3OzkSRgQIbh6ySeSf0trm9G/DtdqeuqpKXtbiLakhrYDxyQ0gMRt4H3gflksMvtoVVc/zRH+AyiikeadaUqBnLavOp53KuqDk4pURRSq6Vg8SK83DYQ2ngiabBa7wYf0WFmAjI3r3wEEuKDvwVEcd+ssuYsIMYIxpfJ1WT2XG1WY219XDxAsecK3jH6MBQDEUwVuFLTyVEKVbC93OKEruHANXNa0pA2OEE+RV5mNfCijitqLjXyyHU0m5jOJdU/CzYVz9DBXAdqzfyZPKodVdDSPudBN29X2wbbzZnaSE6uI9XhBvG2Mq6nsCxUsHCIgAkMoSvGkQ=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1778823311

%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

