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

%NAME%
agda

%BASE%
agda

%VERSION%
2.6.4.3-171

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

%CSIZE%
24991474

%ISIZE%
241521897

%SHA256SUM%
e09f8f77b127889f07f49a6b3dda0239eb095d8804d99561168ba572532ebac3

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmpE3OEACgkQeGxj8zDXy5Iz/A/8CwvlfRLjxCWYeiynmdiyjEzMIR9ld5moV4aWkmOnep5lbEpYwKM5w7lOGwLoNZ8dFvd3tXYcyzZ3qbYvW8noGr87cvDgkwMifidwU2HtwCE0tYv4WoVR9RvRAC/u3ndnHiGipj8O97a9424ESv506cpymGM3k71CM0uPLf7jJcjMUq+S4F59EsKHcPPCdKAK9SCRbqXhwioqMBuSJERf7El7xwKNDDZOErhw8+GD35tDx9pnN0jxPlXvOyKX0dZenXOw9pU7riJjdcLOYbOBkTTH84doTJh3v5Sor1sPk8Rl7H5gwkjRefUsmNnmKQFIknHedgRQlTqzM1XLXsFGmZ8hgS4YqSQd6BkdcuZmcDEOEQzq23bF4xekOtfvE6k8ZepfC51prDPTTUF11H6b3VsSA4xawEi/o9KdKQwYC68vPrXPvpIzDdyIT+gPpzLRS0TAIsEec4Tz3ToB6M4dy96pkr0UqgebIOP5v0ENQlSd7ooVR/3wU1tVw0vhQl+p1B9PVUAva/PRjmWYBWXEuxwNMrhUw4hG7DFmoawTZbyq1LUiS9xxhDLl6FlszL9nuwHHuZg/tDT8jwy4UXgie26diAqUntdgxMXp9F0EIHqN3I724XFnORZTrscVEsgUOgCFgs5tuwORPkFmvQQnmghoiPtuMG+ZxRjj+8IE8R4=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1782897476

%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

