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

%NAME%
agda

%BASE%
agda

%VERSION%
2.6.4.3-160

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

%CSIZE%
24996322

%ISIZE%
241771291

%SHA256SUM%
d04db21692afb20b534727cb335bcb173d0ea20fca14b4c047d6cc7eee2eb7b8

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo337gACgkQeGxj8zDXy5Kpiw/+MDknqWRU4V1q3v+/ErfvvQyE4vlnyJusH8OZq0ocfYfszRjVIP+cB58cZEqgOdgs2/fXbxokfyzFn22qDKzizuvNBDz4JNjppFrJGJrS1MiIJVe45EkPwtxdeIFCndLJWxVkD33eW56LSHc6pS/tX/pPCDPY31AkiqTXD42rujmDcT/LF2mq9UAh/AV35bqPiEUGhE5DSlQa/ymE7NAIC9r5rNKqP2OYVc3EBeBUJytpUJIj0bqkmoIBu98++jZTPj04e1vWw0KY77S9hvmK+IGLirRR0I0Temt2tfQIsUMmDUcNylLT5DQN+uap93GOKU6zylZ8RWQrEga0zkP7gTZQg9+oKW/UzVZU7bUGmOf7Am6gAx+pd0mfA10ka85H6d+XNst4/4CBBIuhALHOSha5oCGphuV45v6usZ6QV+HW/cEvC6mJXSjOUaX6b9IOqsm3seTw0nssd8Is51/fMdGp93pEfgXu4wUDRkymg3Mt7S/EoyyweCttHMTHFPjBUGmzAP0sDMcwLYDj512OqD4Keduf82JpYQ2+/c8isbkIz1VJ72+5Wj3wnOQ6ETFpc8TU+VrT1zH/IyryDyWl8AkdIiBo5VYAnt4tbDrw2rLyeHtcECybkJsqGidl4s/65l+2BY/UQV9ZmcbY068/9addDke7axGzDBGJWLN/xhk=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1782046034

%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

