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

%NAME%
agda-stdlib

%BASE%
agda-stdlib

%VERSION%
2.1-1

%DESC%
Agda standard libraries

%CSIZE%
141445425

%ISIZE%
181789439

%SHA256SUM%
a124373561c9274e65350fb5af65bbfd3c81e762e6b8726a761a08234dfa4db8

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

%LICENSE%
MIT

%ARCH%
riscv64

%BUILDDATE%
1760557602

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

%DEPENDS%
agda=2.6.4.3

%MAKEDEPENDS%
git
ghc
haskell-filemanip

