%FILENAME%
agda-2.6.4.3-137-x86_64.pkg.tar.zst

%NAME%
agda

%BASE%
agda

%VERSION%
2.6.4.3-137

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

%CSIZE%
24991562

%ISIZE%
241571913

%SHA256SUM%
eec2b7d961615a42216a846946471d33796be81e1bbc3cdc4759a4b5ec61ee21

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmnn19EACgkQeGxj8zDXy5JGLRAAp+wAH9A4BWUUicUVvr/Qt8JKegq/uFa17hHO8DniAPQ1oqB1pQmYb9URDo87bljUDp6rdlrd4h3EOLDfafx22h3HVGAPSKvsQFHUkmg4HTNKm3P6T766b5DSmPVmDENjUrRvc+1JMJvBlGKMO1y6UDKgVgy0zS3lUY2GPTKZoW0gzY/kkXziIs1knTjY3qL3Xtf8Q41qPL698MOmHkqJlCkz/mVYswV5/7Xy5cI7iDS0ls9GgYb/D+qghd5Sx8YyaZ7oiSoMEdZC6y91ftnQdKQYi8uG0r1LSku2CJllQTZOTUkhUzdrfrv7V3hc5DZwsK28h9VwobYFb+gSApw9KJDQc9F8047Ep7ATGY9gio5EKbY8YEDczzEUq8xHZcENUJ1ajNiY3jI/YHvIllw0ub718Lmsirb82HI3QSiZKJGn/vyZpViA3YYdM60d2kRIPi44ZkbeS7RUauod0aiLx7mJQBPc8l8ncJTWTvCrqXLzLJBk/Olhu48h1zVJlHJiEjfzciiLdn0Il0racB9ngloSqoeoKg2KitQQT9t/e8UoAanjZ9IPVJ7GEQD2huO8MKGS0jRcYfQLB20qpDJF4dANT7cT07Ms/SwiFYldqS2N/jiPul4AZKW5UCjs6+ryhW+DZ8UhP5NTH46xHAGSCtc3lfBJH671ezBY5FepEO4=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1776801400

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

%DEPENDS%
ghc-libs
ghc
haskell-stmonadtrans
haskell-aeson
haskell-ansi-terminal
haskell-async
haskell-blaze-html
haskell-boxes
haskell-case-insensitive
haskell-cpphs
haskell-data-hash
haskell-dlist
haskell-edit-distance
haskell-equivalence
haskell-gitrev
haskell-hashable
haskell-monad-control
haskell-murmur-hash
haskell-parallel
haskell-peano
haskell-regex-tdfa
haskell-split
haskell-strict
haskell-time-compat
haskell-unordered-containers
haskell-uri-encode
haskell-vector
haskell-vector-hashtables
haskell-zlib
haskell-text-icu

%OPTDEPENDS%
agda-stdlib: for standard library

%MAKEDEPENDS%
alex
happy
ghc

