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

%NAME%
agda

%BASE%
agda

%VERSION%
2.6.4.3-150

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

%CSIZE%
24990570

%ISIZE%
241771750

%MD5SUM%
b0c982486e3b28d1e91bd38282c666e1

%SHA256SUM%
6eb1e46629d8ae9321790f73276fb5f8191ab157ec8716d68256dad80d9b4119

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoHmTAACgkQeGxj8zDXy5JQXw/+JUBpbMLr4MWPv+cyVf91+JoijusVf2+FEVzIWo6s33AsIDNJqJ4hZCUsG/DkxXYJGffuAKJS3w/JJTaF2jDfWnV8l0NuztjUdE+C3ZoNsPLpbBDX1p+3VpsesDxXFuzRlHCqgG3QqeK/k9ALQsI2xmyYK1Tk3G0LX1/7wIGW0cHEbaOtr/7YbnZTaEOsBTPc2U8Q2vqYRFF0cVRi79UnMm8IRc47kYH0Oeybj5kEJawGUGDz5RfycdrwqvnDKghNGMvNEy7AnaUdU5mDMHoG0qFprdpwTJxpFVR3UU4h01/JbY9gGmSo6jmTwXT8+OIvKpX5PciVkIQRW/EHwROd1SK0a4lROcO01gomo4M5WsPSYK748la1weJfSQdr1YVJFfEWTHpPif5Y5+c7IiIPvDq5E8eYBtTBUFE3Wd0phC43GNnThPYOieAITxumIJOSZSgggMCr07hvfUSPXg4wjM054vsSeWsnYwxfHCcVRc1n32l2cM9AgirFRiNHgVUizv1znLoqcARZ4UmIagALa1rv82BP5iREnoO6fdMM3RNbJYx3ADB5vEgRrX7GltXME0UBEs1Nf1S1eGlQjAWRH2E4fyBnHhrLe6/xHh+G+BlC25dQJJDmAjVhOCoSkZPDuWXVOKLoH4/itfhsVDooMb0Df40rz9zhIwOnWXEg3rE=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1778882463

%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

