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

%NAME%
agda

%BASE%
agda

%VERSION%
2.6.4.3-147

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

%CSIZE%
24992168

%ISIZE%
241769466

%SHA256SUM%
c441858d5bf9de18923a945b5ca485912d5c685579708abfd53fcdeba1ae0af4

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoEhDwACgkQeGxj8zDXy5L7vQ//f5WYXyEZGzYP9f8cLAMMRsUmR0zaW7PBXjgxPUOXcDHjLYhO2Z83gjfhDH/QfBG9C6a8zh7aImm1z7BsCQYD38gfnQHi80MOt9s6/LV/DHMS4zv/dyCQZe1h8ZyiF50Vd8yRyUuDbm3fe6CMHAImJnOBdzrQ61AmHs4SYKRBncsqzBBFr5T2Jimo3Ir7jZawNrd6oVtXnC0SAaWepOtw66u6eBQQAZRBKr8Pg4gV6MtaVoOgreLcue4s0ZD3I9EOZdeMs76sJw/eOKfAWIt+zHAodEjphIs4QUQz30JZItVTIIU8V4JH34Z4SdaQz0m2xuXzQ2tkiSLHO5AQX+8JUstREAx9VIkIwcWUZk4NS0Hvtnbg+CcOVNC4gTzid8BUhNhaQGzxkL52CodTBKm93rLOTInbdIPsp+luTZmllNjIU6fz/ooJFZlVT1SYb+zweRGa+26tgSHJO3ZCPSPp8RnxLIxazXM93Wz4eIbSBJ7DD6pgtGg+bm8tamWtqKXNJ8zJmZj33zSgWHpQLWoyvwleL4jgZNS+3cFbt7at+lSfCWhz1Cwffiim9ax8aC1RAkychoo7106QI8ZmsA+4wa+tnEKZDyA36xXeN+YblU8WldhyBZ7XXcicrqpixDQ2jh8VL9VvCTCWnVG/wfC3pJbXVEtchBoJn5uGW6IxgL0=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1778680483

%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

