%FILENAME%
agda-debug-2.6.3-6-x86_64.pkg.tar.zst

%NAME%
agda-debug

%BASE%
agda

%VERSION%
2.6.3-6

%DESC%
Detached debugging symbols for agda

%CSIZE%
5174

%ISIZE%
9064

%MD5SUM%
0fa6992d65b6261fb4c661802847e96d

%SHA256SUM%
ec7bb62c16e022e518ead3109f6222d9b18ebf24befa3541024a027c4e5c0a35

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmRgCQMACgkQeGxj8zDXy5L3eQ/9HzUDdSmbcYvp0tbgOKJg+ghr3srZllZIckQu++f7EJB0vhapVVhVj0H8vSscLo1oSyFMDpZaRP928Bv6DHzO3zLBuRXypSNJc1OXwZTtJ/93fBCg8M7V2lEmsZKfNbIuCTv2Nju/BmPF+6s7kNFY1DL82WWBjNOBIU3UrdR6n6HgwKDYrkASnc5dbUvdT0rXlL7aQ7wC2JS1psGm8vxl3w1zHhLS+F/tj7RAnSiSKNOLJ1uYnl5447CaBAuKw2fqwwHXI1sQhoAA83xUPfBqW4zbu5sgspkWzDMnXUNvJvM0MB0hs2aNK6prh9eSzfE9iwOJwot3q+9+2YSm5hbH8vcAP+zBehmtw7KiMLytzY0+Fye6ZtqPueI2n3QfhK2bgWd3C6FufntfWqZs852GD6R9L5+YYUumXGqr+g93YnmHeBTOUdd6tkdwoiIzoyKxbEcKDzOJD7t5bNQC9WVGzvdrw8MnM7rMCfIBvFu/yrHlz7NA1sQEuB1gDQ087hu7YzluDFTiLMr4szBZW1RYiQoLalk+1L5IL/mQCgwMHUCMLIOv4Y09+/kUdSx4I5yARFLw5Ma+TNgrjFXkuvZAsIK6a/P7XylLiv/QZaoc+rZoZuYXXN5ALe7H4P6r22w7avVxqoX01Mi2HuE6YaAzEyUpjI9JaqijuZcY7RdCoRI=

%URL%
https://wiki.portal.chalmers.se/agda/

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1684014655

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

%MAKEDEPENDS%
alex
happy
ghc

