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

%NAME%
agda-stdlib

%BASE%
agda-stdlib

%VERSION%
1.7.3-1

%DESC%
Agda standard libraries

%CSIZE%
118818115

%ISIZE%
152092695

%MD5SUM%
cca38756642ac38106e3336e800e2a8c

%SHA256SUM%
3a7467dfa7a7bc74fc546b7d1fe91d5a3274f3c8e4b5caf0fbc36596de11557a

%PGPSIG%
iQIyBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmYoEHIACgkQrx0hme8KPM/k9Q/2NjJISBv2NBWNiMK0tir3IvgnSGZK/Yl6b5E6tniuEKcLPvtzWgAosSkp1mDGdiwLn8ChDmNyHH8vQmNqFZwflV5cyTQqJkRX+7CAi4o6aFjMHBkI0kQB8PYgsD6lmyQ9XATVkzp0KiHta4n0t/YQkRKA5oYiDqkvvTMJvQ6bTRU9leUx7CgM/gg83mFE/FwNtEECCzsfBXLj4PNrii+UyW/bsHpWs40ezOKkQANdY4qjmvcdRyvJztQeIpDslB7osNwSeFu9ZwSitpeTxhsJuLpQh9cJWwYVmRxMezMdvWeC2rZMOnWMxlqTjQTCWFhA3tb9kttvWpGKBmzO0UXT9619+JBrNVaKMXycBxyGcf7wzL2zs+X/ECy3QePqcxdGZNTXlnsESZWmWdZPxnu1YWy+3zl7V8bP43uWkMsN7AMqR00Gr6GpWSn+IDZBzILWCBe2Lr4TmHPSlUP9gcbONEdEp2+5GvFKRu6SOqxunuqWLTIe/qLHfH3lDsG9jr890tChuVSi4WcMI4c6LKULaN1hcxaff0oQfT30pC+gNaZMnlMpnnvNkmop/Tyj5i3RKN1rK8p4ZkYOzmOs0c14z3I4Gh1A8tyqmuPoXTzeNCdfHxLK0tp0vDahZglXzxLfiotMh2mvq4+FmevIjv3rbdj0EIsyTZigQjhF5/OyBg==

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1700767178

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

%DEPENDS%
agda=2.6.4

%MAKEDEPENDS%
ghc
haskell-filemanip

