%FILENAME%
agda-stdlib-2.1-1-loong64.pkg.tar.zst

%NAME%
agda-stdlib

%BASE%
agda-stdlib

%VERSION%
2.1-1

%DESC%
Agda standard libraries

%CSIZE%
141441835

%ISIZE%
181789591

%SHA256SUM%
9458492ecc88c1326c8744fd79f6a140528af9a0dd2a5034276f6749bed3c532

%PGPSIG%
iHUEABYKAB0WIQSmwC++cwzUWFm5RuFcdK4XC9oUMwUCaP33GQAKCRBcdK4XC9oUMwzjAQDwO0DKOSqSEFCBoJ5+s0B7qoEDtpshlnLWnzpmEqb0cwD9GM05zvW6PEtBcWlSubXvTRk41wPJ5ROX2VKqcHBsXAc=

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

%LICENSE%
MIT

%ARCH%
loong64

%BUILDDATE%
1761473243

%PACKAGER%
LCPU <lcpu@pku.edu.cn>

%DEPENDS%
agda=2.6.4.3

%MAKEDEPENDS%
git
ghc
haskell-filemanip

