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

%NAME%
agda

%BASE%
agda

%VERSION%
2.8.0.2-23

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

%CSIZE%
27430881

%ISIZE%
319306800

%SHA256SUM%
f3f569f52f3290ce5eaf7897838d7c1befec6a15bfc3e7246785a0c42a721ca4

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrSqzgACgkQeGxj8zDXy5J9KA/8D//C9pWBd+7JbPGQPLJGITRm/F76jk/qnBl8nqD9+WM1kCUqhfhEW1BTRdgiGiRRamaVDLjDwBwTb50AX9RpzrjQcoMOOMi6K0vD9UoBVYqNz9qH50t2DwVfxS6cJF6pwA2BJS799ZPCUUd4e+bXWu+i486rqBM5sVKNC3zwnK8DKPIOGiUoTohgQOPdfsLN32QE/kZd+AEl1yWh53hzZVLs1qZPx+WrwBIOFMI9pr+PgA5WEZ7EpEcr4iSWeVApvfXzmCbkL3n1QRKD7xNOQJTyUCDOJhvmeZKg8oDj1GJD6a9HCXLUhg8g9AIr2n7OlsEqFNABCvqfwRLgZKEDVZQZp2LaTQ4JkMeVuODtV8soU20gGY5tMzkw3BmYD7J+gxkWHxlfw92Et+L3SlL0MinnmVKofmR5RZs2+PhrJ8NuDeeWkgTycKp7Sfcr9ToOKjNvSn3o2T02JEI9eHiR9DdH1eHGY1GE7gwYyIu3W01WKATgf5v68M8s3hCoKlNWjwXTWRTCNyHIW/+Xb0vMpeP76Rz/97MXnYzBqDpyinnMNsjqaMN9XEMPUnx5KDjOdTPLE/xLrtnrO+49zo4S8HJf4P52uik6ZtIb67a+yFo5A7Vk2tV+FPQ3H4+OJXUTErNz0YDLRTQh6czKJIOc9jrkq9DizYtTjjfBI3wz8A8=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1792190933

%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

