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

%NAME%
agda-stdlib

%BASE%
agda-stdlib

%VERSION%
1.7.3-4

%DESC%
Agda standard libraries

%CSIZE%
118960173

%ISIZE%
152390879

%MD5SUM%
77bcbadf89b54d7c29c62908e36e2e7b

%SHA256SUM%
a390592fd916ac8c599b601e55639ee30d8d273015ef8a9712088b54751f93ef

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmf4+nAACgkQeGxj8zDXy5LRDRAAlYwiWYmFPFAXGB3K6v+rywEi2y5USMTb/DIEgcl2phK4JTRYrRJCSo8hX+WFoF6gw7bcq8MvEhnlOk3skpLpLRc2wW8G+yRg/1XzdMVtXz7wRISIgSIRR3lM8hQqVPKzSLulAY2RqrrqoS2R0Jsv/7uJklemO5lCUpgL7XxDZMXdUAjkHfoJP+ur6Or8X6V21oLPtNa/qGKSwUESd+6rKKhVvlkqqWCo7jW5OoI9cA2UeKokAcMMzot6riHmvAiYEPK5ESlviyWjytFlOSgvXBWWt9QCUUq/uZRJZhPXVQ1NrjNHhCu7TgxB7y/B4c3Kn+j4W9NC5wNdDIvo8EZdE4R7rGpqg8EGL7crFvLmqDNmiclEpE/3DyvIGeIv0uwJA1ko+CQ1dEkq64hILWZQwd2lJOUDN8VSC6rnnro4CUUlvxY88OHSHA3wXtkEhIidSoSnsdFIJ9OeM5pmb6yEs1ag+MiIph7IkwZrkYKbRCbvSbcgO/49BF+eXZ1aosRYpyvkr7YITdiESHvU8nZl/gtkgLZi6+pZMoGCxv/h7ZrC9L82n0T8Q9hQC1HZkA5IUb7F54yTalk0y0YwHj8ZqcBH1OShxc/SCxtlCacG5pTQHuPwo5hlSAPIlCZB5mLG3FdssbSQ09snEFy1J4tk4C4metBESRFJk2eXzJMZDjQ=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1744369807

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

%DEPENDS%
agda=2.6.4.3

%MAKEDEPENDS%
ghc
haskell-filemanip

