%FILENAME%
agda-2.8.0.2-5-x86_64.pkg.tar.zst

%NAME%
agda

%BASE%
agda

%VERSION%
2.8.0.2-5

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

%CSIZE%
27452914

%ISIZE%
319084596

%SHA256SUM%
ffaa175117dbb3134da657e3e6c6d631d758dd484028581409e0358d5274da05

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq9HvwACgkQeGxj8zDXy5JWAQ//aAAhhzKc79L2KCqjSr5sOiyOqY0fweC+ddq4EKUT5cvOkoLcoZ71cGmkHo1WZV/CctwUI1AMBIbNqEo97bS3/+SCj7nWrV9S+sa8yTdEE6eDhkvNqB4fmO+MDZBLGWLh0Ceql/2FMFO/1ukS7mzeuVUCr2U0Tca0vLnhJwdwDIRhjiS/WUXG3nhTdaaJqpcDuWzuGP7mSeiM83ackLFlqXlr0PJF5xH7m+z4SH4GJJ0pQY1HwERUjo/+CiBs3SbyfHKWxlfq4Za3HviVtf2y4/9CN3UkdnBvDNKjuXaFbXvAJ64y+eQy2UBlWQAZ452Wr1yfR2W6kebzrNdHJu3RKlu1oDshXsXZgpUTxPUftlMEGyOEPd3o7PIjVrPU3omDu2MrjB0SnASV+1bab2pNzCu8IufJhQBC7+GHY98gaZZiPXxpm0Hm/4gPf/owpYR2VcGV+nu4K40xm6vV+Qc/3uCdS2hcv7W/wcE8z2nK8v0zM2ne/rhAwIpMsPeNjy0pNmYtzftA1v7WoSUHE2M66nO+Vh6LIcqvi59U95setSrnkXgUJsmm3uO1J2TB6Sn4aoT9VIjyZNL8lkNOH5lnugT9aLbryY8bUkbJMR2SbkT1Xc26vuA5bw0ZrIk24CFeCzzH63OAasPFaN2rZunjTnHi+L89dSYcVm2EDaFCZpc=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1790777894

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
ghc-libs
haskell-aeson
haskell-ansi-terminal
haskell-async
haskell-blaze-html
haskell-boxes
haskell-case-insensitive
haskell-data-hash
haskell-dlist
haskell-edit-distance
haskell-enummapset
haskell-equivalence
haskell-filelock
haskell-filemanip
haskell-generic-data
haskell-hashable
haskell-monad-control
haskell-murmur-hash
haskell-nonempty-containers
haskell-parallel
haskell-peano
haskell-pqueue
haskell-process-extras
haskell-regex-tdfa
haskell-split
haskell-stmonadtrans
haskell-strict
haskell-unordered-containers
haskell-uri-encode
haskell-vector
haskell-vector-hashtables
haskell-zlib
haskell-text-icu

%OPTDEPENDS%
agda-stdlib: for standard library

%MAKEDEPENDS%
ghc
alex
happy
uusi

