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

%NAME%
agda

%BASE%
agda

%VERSION%
2.8.0.2-25

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

%CSIZE%
27439105

%ISIZE%
319305182

%SHA256SUM%
4f08ae194f60a631cf8a4594b2c98996765f74ba32c066499e82b2b373489339

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrVSmAACgkQeGxj8zDXy5J9Hw/9HWmjZ+d/07T4SQu6DJmxKnt2tsSBjmtk3/mzdxAC6FiGk7qFdkaPfK9OJBNS4xNScZELahXqbSSFVali9HNUxBSGdPHxjBwNgWc/CVdwTC5UU6Y/33MxSYUacKYW+CniXpOEUml2f2H264dPQvoXgNntmu4Xw8IhEPbjAoVBG+93veVsHB7UW5i1OMbXaBkxx4x1zQP/dE3Td/vmM3ub19OhIhQDdkKkbcq5mdH8+SNe0soxcuyisoPWcA9X9XrohP0BH689Cj69c5JtBWlKVeWsovQtxNI1515L9ikqzgoQF1ei7jQ6ES3T7nbIlrx7JkJ5caVW/0UPOvW0BIJIJ4lht7PT+y1Z6cnCCrTiSNVvZiAnW5ZBQ86dR0yiexNS/SehVUyGLTsUPvkd7Pw1eykRFtclgNV89LExY/5FwK0x7QKmq2cg2RV+E342PQtr6ceuLmDFdFCphqLgWYQdtnwP3l5F2EPgliov7g9dfgRgXJ0E8ilwO1Qz19c/ztLbQoZHAsUUAnyq3ZeVesW7Epz+Zwsu6tgmCBliXGkvLgPaJ2wSMWXYEEBRbYKlCVEbk3X/jXn/T6ar77MiwC+6J1OU615kNUOaNcZHUFBIlSLkM5o91pkXWToZTAP4WBdle5/5KQDHwmOzkpGuIyuG65dkREAU56IXCoU8yEztOxc=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1792362731

%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

