%FILENAME%
agda-stdlib-2.4-2-x86_64.pkg.tar.zst

%NAME%
agda-stdlib

%BASE%
agda-stdlib

%VERSION%
2.4-2

%DESC%
Agda standard libraries

%CSIZE%
160368099

%ISIZE%
206346602

%SHA256SUM%
aaac6a5d8cc7810065ac1a96b4ee348fcd8cc1b1edf3fe9ba86e0df2aa6f6bd6

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmrkAcAACgkQrx0hme8KPM8bBg/9GMCCAZdj7AbBnBwGv+eQnKKxEh/CaN5Cdm5D0owPbGEYRSwZD9/2KMmuUB74HhX96mL2wAjcwhh3/rdQctVMjO58A2yvlBh5DLXtGn1gLiqrY47rXlIInY5YnRFfGvUoB0RdEFu/NjQVL051UZgOpWFpgyCXIxsdDhaM5yPDFykQfu6uBbo0JAt8SS4BNNbrp4VGS+fuxwDhuxSyRVmlPBSKcjv8vAeQ6r+8F0O024oU/jUVyPncTDmApRYF519c5kJr/iLUQYv3grWY07uyI139HFcS//YDPOrsM0cPbbgnFUTxVLnPS9PSirRunLgzzbhZdaH0h3rmJtVCgsf69xMWmK+Sj9fTAFUyD/vr2Ey5UGxlrXMSLbit7ntPZqhacrCyUEfaeJW+F2sbVk19hLYz86FidvDR70M+bM/GLsMiFYSc1LVwVEi4VNR0sDgr0cc0eVg+btXV1teO6GFbRoKhxssdxhEKaz/UOXWqmHYze5uU1a+3M7TPYNkhLwjWY3goUp3MfhTyI89t7yDlwJWoOTzw4xEEJ+mfZJL+rh0K7FOsXOLedOvbgNGD0bW7mYtsP9QwkOBQliZy04ek6YdKxPfvu90FODrFUDbvx5uetu6sHI3VzxWwq3a/GFw3YtpD/12+XV2pyINiQA46IK2/m6o9ajO7LUtPMDS07L0=

%URL%
https://github.com/agda/agda-stdlib

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1790538192

%PACKAGER%
Lukas Fleischer <lfleischer@archlinux.org>

%DEPENDS%
agda=2.8.0.2

%MAKEDEPENDS%
git
ghc
haskell-filemanip

