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

%NAME%
agda

%BASE%
agda

%VERSION%
2.6.4.3-99

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

%CSIZE%
25176971

%ISIZE%
243708525

%MD5SUM%
5a8eae4539acd92d15a5930a70d7b95a

%SHA256SUM%
c665f607e894d944e260a10512ccd040b051bca651c69c4621a270527f599747

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjbCjYACgkQeGxj8zDXy5KALQ//dOyE8ae4Lrn+K/bzvYXTBrub4gSOizlSOBtHrqrzakHQC+qCWpaVU8Bm+qzFjLaqHla1oj+RBCsfxZ7E2PrLiidmbz9s0+xQUrKqF8R9fPnB2MpC6XLOpjz8vVzxiXoIFFVZ2Mp+UHRgknLVkzrYCbUYniuFz6lYo5Inu0540rpyjYmqA0GqWA/Ud3F2SM6pYKRC/N4BO3cC/XEncwQLhAVztW8QJogFZV9el2dmNz9rNG/yqNQCfk6Z+03Po9/aK4aT1QiuMn/nLD5sW4npYzw2Dg+VOFeC6q0b6fJYUUG4uaPSIVKqAF6o53Lb3QednI3u8UMW26kW98udd3P4iZ4uei/QPrdooUWPEQB6FZgcG4xu/Ag/EfIt2xzKoJnsXPPfBshG/95qljoge+q1Nj/k/ud4RR4UrwPBnNoH+07OnrDb/3YdCd225AN2smzKCqcXssE6K+hG7rKSPhFbqqOB5zHBP5mxvCcrnQ7Kf0hytF+C+k6r3+kIA9jPdRddl1GquAOPrF54H0ADKf1XoUnRj521ir7LfjWfG38L+YIuiC2Yj46QQ1ZncypWMhTKWdzN7Xo5rbXFoRfVZ68xUZXigxcU0lgsaekv0KE5n3LpAhAhsxnBth1sI7kEuKOmBg6SS5nFESkvL5Xfn96Ta6mIl3VPWvb2CIJzezKMYAg=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1759185114

%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

