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

%NAME%
agda-stdlib

%BASE%
agda-stdlib

%VERSION%
2.1-1

%DESC%
Agda standard libraries

%CSIZE%
142697748

%ISIZE%
181824245

%SHA256SUM%
6efc3210c70ddc6cf6e1ec8a9c05147353e1e49754c879e97ede39fb81c71127

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1756720307

%PACKAGER%
Dmitry Razumov <asmeron@ublinux.com>

%DEPENDS%
agda=2.6.4.3

%MAKEDEPENDS%
git
ghc
haskell-filemanip

