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

%NAME%
agda-stdlib

%BASE%
agda-stdlib

%VERSION%
1.7.3-1

%DESC%
Agda standard libraries

%CSIZE%
118818115

%ISIZE%
152092695

%MD5SUM%
cca38756642ac38106e3336e800e2a8c

%SHA256SUM%
3a7467dfa7a7bc74fc546b7d1fe91d5a3274f3c8e4b5caf0fbc36596de11557a

%PGPSIG%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmZCd48UHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwY9XRAAglQs1VC2XR0EvGxCkRx1LEZaJ+DWdq/+PXysRwc3yIDAfLI+FgEXZbqd1OMYWz+kDVR9Yni/6P9NPHayrbFqa05iFTqVVJlyB++ixTOVOKsKzh4VW7wTfmik4LrnPPBCdelma87uIFxfcaDV+8nBjpDiFun6HNnh7bEfoWxmR66pEvE+EpgaCc6olo9CP0SLgWtbUKQhs2qetEK3mzDAKptWRyf+bYDZZJfILRiGNZyUaE1XwuO1gKZ0D4OFapNVfww11sNloUR79EmkL7C/7FGfp9WXcBlY/GdyJy6W0wOwZ3nyVc5wSx42/qNc+fuLV8uZqNPiTWwDKi4YNMWQNfRMVR0BP7ZfsXjk7YEw5PGfjYm/9XpRln2tTz5AxbcYHHueMTAWWv2V4MJmIKQ4K87wnvITGPGucYkvuO2OS8z+vYTpGC7DiUk5s6o6UmP7lrRJ7C10XH12/kmleSNHAoWj1jkdMKYR3qy04zn34HfpuEsqZ6YVimCR5MH5poTCh7N5tU6vQH6ShUF6JFNlhx/Jz+w1u+Y8sY7v8b5T8SxQ+PqIztrT+byRTZDVT1Uu81Eq2aMQeSs9AEadbVxU86507abR9q+MsvKEO9vYL5gul6nZDXiYNHCQKy7xoTiCUAnWRJU+UkpAYwIdQCwIPdA+7ldSlv3ZCnPvtaL1Dog=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1700767178

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

%DEPENDS%
agda=2.6.4

%MAKEDEPENDS%
ghc
haskell-filemanip

