%FILENAME%
agda-stdlib-1.2-1-x86_64.pkg.tar.xz

%NAME%
agda-stdlib

%BASE%
agda-stdlib

%VERSION%
1.2-1

%DESC%
Agda standard libraries

%CSIZE%
62915460

%ISIZE%
82737616

%MD5SUM%
2522de8d55f5c1d0f0e8f404f99fc839

%SHA256SUM%
90b4cb5f07895aba7b90a53a9ca1ef1592d94d29a3243a2836df3e632d117aff

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1576965546

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

%DEPENDS%
agda

%MAKEDEPENDS%
ghc
haskell-filemanip

