-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

AUX 50agda-stdlib-gentoo.el 58 RMD160 4567b06e4a57c233ba86ccaa9af70e9d58d99f9b SHA1 690899aaa39138984dabea4ba361c481609c5d0e SHA256 e14091719568a863fdcdeb032b398b47cc5dc22d44c5552ade66daff2cd10946
DIST agda-stdlib-0.6.tar.gz 216273 RMD160 458c2f9606ddd8f9103fcc81d8e5c1acaa682fd0 SHA1 cd822c4b504415d42f584f970732474231a3239f SHA256 f3b22d104a1d91e558e833ff968cf63dbe239601e15d91e380ef791f75d82060
EBUILD agda-stdlib-0.6.ebuild 1074 RMD160 b7d01454daeaacb7631a9e57090ecc89bbb05dd4 SHA1 605e8751e9b7295144a96c0186d96618aba5836f SHA256 884f19becdb5b262ff85d572dbc4561e6bd9e8f867c078ca04af9adc8c3ccfea
MISC ChangeLog 439 RMD160 6c42b41e88c60b0fbc97293ed4ba5f4e1a2f4f44 SHA1 5aa812e7842c2bffd0ae801c8ea0750a21fe17aa SHA256 cd1c744bb4828d4814a382823949d276404069f741ada25b9c22d86d6b8f0a0d
MISC metadata.xml 265 RMD160 9117bb847954467bc465dad80bbb756fad334780 SHA1 9e90d89f35d06796299759c989174d8ed0940b87 SHA256 35355d6fc62fde1ba81f075b068817cfeb813a969c7de1470a6f8bd132b5b459
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.17 (GNU/Linux)

iF4EAREIAAYFAk9vJXcACgkQoBEVQmGOlx8ULwEAymTwYK5KzHafAyOv/zsQYs+p
vLf55t6VQmbwZAAetwcA+gPSKcu5Yy6xhz50Ro3iUkROAE6r/pyibs4AeVEh6Jtv
=XBw+
-----END PGP SIGNATURE-----