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

%NAME%
agda-stdlib

%BASE%
agda-stdlib

%VERSION%
1.7.1-1

%DESC%
Agda standard libraries

%CSIZE%
101254700

%ISIZE%
132536935

%MD5SUM%
86960d4cd83dc2260f60012feab1c6ac

%SHA256SUM%
12867b79a79448a8375af2ff7d0f062afcf08b12cb7b661b2ebff48ce3baa2cd

%PGPSIG%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmNhMUIUHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwbF2xAApPzrSNnqw/VcYRHD0nhU2NDeUXYNSpYzqtQgRgb6hwefJ3aJ/PSm5R/dtPNNkbzuSx0WWOQVuhLiej569+vFtYYRmzQkthmXJzMkK1nBAgbyICjn6L4EWyjSD7ngW20bWuNah4n477Cwh9N4HHxxiyhr8heHZ0Ke22KyOqF7d41LseeeQ+rpTE2ZXd+9g/zA0ZJeGftY/mrsfQmuZghc4KwsNhuDGngcR6qRLJfCj/LfKD2N6zlFWz2cvaBawMekX9mz5nur8jH3QFPfIgdWVMrNctZuN7VsltXzlxz+XVrUUkD7T7PudpaZ3jJflylEKeFi8TGsAdMdclij4WiZsv6RCMSVSlSSpt4JyoZmhJiEnQvv3YjfT92QDDjvwOVEEVkUJ68KOOj/csRj8zPGQfeNS7qF7XLUlktZCjtQnGi+NDv59xAupTxc6FSQhVLjhC7+Uy3LcrO0xHhA8J5apeAQ3TvOteFrrAyGBPAdIKiNtBp68+m/B/aovu3/d+oeicKMpuhOG+bJ460gmvWBmn61f9uf0AXFdmyKatz/UYAUDAKnm3D5E5sOMy/bCh/XdInqwaqDHAZgVrdvvapK70xnQTjNDv7vSgD+gl4kBCN2JAdJVoLNU1AADyFpRdjWmruY/AxdRH4icR94sNXxds8e0WKdG2sQunw39K9AymU=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1642284386

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

%DEPENDS%
agda=2.6.2

%MAKEDEPENDS%
ghc
haskell-filemanip

