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

%NAME%
agda

%BASE%
agda

%VERSION%
2.8.0.2-17

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

%CSIZE%
27437760

%ISIZE%
319523995

%SHA256SUM%
d358a2b5b0095b5789c48b9d9cc5c7c1fd4cfab7c66c565f55b5ba38673f656f

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrHZR0ACgkQeGxj8zDXy5IC1Q/9FQyWwKNB+J4gmrQjz+3pEWA36pzLuLTWNaIx8aAFrOud2hmIIK/sY/IxtIbkfh6lozXkRTBacpOJn/GZvC6CK0O3uPWU4ywH+Cy91aEQ9IOLfy3pNxfzXRDbw3v9Qu6TwE3+5gicfxWNTrwoPMIsY2DZSLS4J+Zjg5rCFIiGdCWrV8LfnNTXMh8QIDH81NGjeluqbEsiEiOTKNPlBhweiJVO40yKtryZGE8eKx/XA+snmIMcXdKFYUnatverj96B4nS2eEWJSlPPVuEMGMLE6rqOdrFDP+nzxrWdMc3/BGX5BdL4qVoZpy2JLpeUhQrEInrirCa9sMgs1wTp26mzMZqPMHFI8jaeZCbMn4sfuTZPxpR9vSb/xHw0E6/HaVd7dxSgoQkufOIpd4D4ih0VdYDK3BHhTVNpwvyg7IGaa1sOfRpb6WLpON14NXRqWmeX5KqwYJlo39pUPrZCzoBI5OoH4jWsGb2Gc3ouEAXtt9tzrF7dyPtOG5yMdoDKddgSNH5pUGTV0iYODhpJv4Ziw5CMDaVa8F5WNRKL4wJvL/zsCtw9ujWnmT0Rg0Pgz49fUxCBDcAG5fhpLjy0QrKfaO5bcrs5xo3NPeaSyRSM8SqSSux1wL7iQS63SoxIrdDAn9KSXNFa8Z2I3XWLC/evaw3KG/eq88+LGF7IBSb80yo=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1791452015

%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

