%FILENAME%
agda-stdlib-1.7.3-3-x86_64.pkg.tar.zst

%NAME%
agda-stdlib

%BASE%
agda-stdlib

%VERSION%
1.7.3-3

%DESC%
Agda standard libraries

%CSIZE%
118950795

%ISIZE%
152383697

%SHA256SUM%
41f05487876a680849b3427b15aaf1e68dcd127094d75a83a843e624b6cf28fa

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAma1HSYACgkQeGxj8zDXy5LIixAAqfe7pH8CXXRxAMN5xfT6AykhBnNjEVa4jkwznQDlrzjuQ4o0kKZ465jZNWEWpofM4kRroX6uHlX1OnajfPSPMpt3po7xwsyS3HC4btAz9nQt3R+Hw3iyNPBs1dnYqXc1xPJeqgsNY2q9B2rjnJTY7/hju8Et/byK2mVF/MMsPPVqdkihUDRsTfImeROReJePgjY86zAGS3Nl8h990fD7u7t2iJjhzLzK85gSsEXndnYgbR0fByrgdOj1Br0eqnMIRwRPEAMJQL10B8+MeNvViq0M/d29XaUmSOmXaYAcy/4hjtd8msLfl8byF+PJE2mtkTH0b8+Jfnl/yxoxVcttv50HGsXvLo1o5qg70e1Wfk2mvp2EcWCfvP7fAYFK4TOFX1Sm4o4K2EXI4S4Bsk1Cp0z7CL4YUo9o+egn6LuoJvHBLzqr+d5GIxUdXWCPij6nt7Fku8u1CKtM0MRybT6KV72053UnY1G+LAIrfdkn8MF4L3REcFnxUPvFfJSBRhINjYCoMFoZwIejsbgl/ESMRtAbPj9T8dqsXlsuL7+HrWmiaPwhZpJlroeZKnQkYU328lPDb59i1TLUuzXemyfEoiYwg0EZCvCLenzn536SrQh7F2fZy0AoHMDGW2pg9QsRypZ54swY69/S52xk4OcXWaQwWPSsk3G1bOOtLsXYS38=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1723145140

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

%DEPENDS%
agda=2.6.4.1

%MAKEDEPENDS%
ghc
haskell-filemanip

