%FILENAME%
agda-stdlib-2.0-2-x86_64.pkg.tar.zst

%NAME%
agda-stdlib

%BASE%
agda-stdlib

%VERSION%
2.0-2

%DESC%
Agda standard libraries

%CSIZE%
138632553

%ISIZE%
178087109

%MD5SUM%
fa42465ee9595cd408050ddb00deeaa5

%SHA256SUM%
1f0d70fa683c8bb3ca74dafc72aa74ad6aef1a8ae2258d3b16fa1ef071b5ac24

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmiMWvEACgkQeGxj8zDXy5I2sg//frTfBN8fEkqCYiYBl7sdwsMLAMr/8ti1uC0h19rLJW2vvE1nZTAnDdnMpJQ8xq7uQPVU2LirW6+tnI/vFF6PQJviKQ1N2KLy/w+ndPLp51FDVQXNV7Qfk67ErCc8ArQXnPjshbm23X0/kDBNZxpMfSike64zH9xK2fy4ix22JLe3H7GGz8eGZ5hiSBWAIzgd+3hgOf3ISmxX2wJ1n52PaQDpTFZXz6AO3LxdJ9RI+aAvhRjg5T4+CrFBK6xmTe+cOVod+uOTWzHsq84wqQ5QWVhLphvyopZcc1l8lxyJvZLBqeuLsQKKmKjQOhUpVLM19wRXYQnX43arJB2gHXiJI+2cIkSnwYg/qtqjIuEKTOQeYhq7/zctGQOP6VExiawlm+uBu9YlK6SHmQ3K1dMIwDTokEGSUTON1gOZDwZpnYrpcEXGNXcJWhTuUaON9tNr5kw34fcOSW2i3I0DSXk8+C3llOjbd8Tny1TOXMb/HiGi/LHDYl/BCYu0K+BU2nZ0IDQf1qnDeiP33AhBbmiFw+ubQh9OmaatKOMuIBcTkilYtxVB3igQOS+oeBjvf2zF6pumOQw+rvRdqHr9nYOQQxQMH/6sA4W/SMfAy/iXpVrDXkqRMeVIsisxNz2OF97ID+KXsDjRej3JRWg7OVPapzllCCemKTPVdEwrFLAqBr0=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1754028362

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

%DEPENDS%
agda=2.6.4.3

%MAKEDEPENDS%
git
ghc
haskell-filemanip

