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

%NAME%
agda

%BASE%
agda

%VERSION%
2.8.0.2-13

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

%CSIZE%
27456355

%ISIZE%
319084735

%SHA256SUM%
725d42b5d74696a6030786b390a422f4e02a815127e0d84d5f87aeba875a8d8b

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrCVgUACgkQeGxj8zDXy5JkNA//akjRlKYW7Y+DE/oktLHgZAboMcNNyh5jWoe3KRW+0PRfhihlow3LqLOFNW0D4sYQZ0xDQyrSL5yFyc/ZZoSybgeSfRziuyaV4nly8IihCi4EC92CZgNZvuCbs7LeEpE4uHcU1WcuOm1CiaP8Md9VUC1JRGfuzn+PrWx2quPyBfBdGDUJNxheiLqhc6WHslw0QstzouyMNUpe7lUuzTWxSRo28/yyUcM2zm/f5D0chGGifk2uRW33omIWuPNlrei6fq6a3mtZ/uZ4+vmeWZHoUQMj9jAcJ+ZYkF+ZNPCVaFqfDQ8akvU7XJrO5h2cRM1PQ5/H7U/3qdPnZfDwJOOz872cFygkLuH0IepZBpbnvU2ySqj0r6Il8yFeaI2uw8WEJRmAIhG9qcrUkyOkdvDeV6HYiE7MLk3YykB5bL1UPMpjG2u3kyfFx6//C/KRXLOWge0zDg7zdSVmI/uTf64XrLMW0DRu4nfZChZW2fhIyN9Vb3b7IGuCq26gLdj4z9U3xqWj3RWpKTv43kBaYkm1qMVLSO12duGnj8j4tO+dRmVcOQYA+QUwpp3ud7xeNXm5VklNYbvRDaWc3LN2oxq2f3zpPa2Zj4CJfkqojTD8CPUvSXKdKiX0WBJ54yDWK7jxseI9P2J9+U6Cfl0DzgdRCdxwtSD2Ht234LLrVXQHCnU=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1791120576

%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

