-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

AUX 50agda-gentoo.el 318 RMD160 8562741e1705eb87f9409a4b25d19d5c11ed42a2 SHA1 68d46099ad58b0d6617b3479aeece4e618040f5c SHA256 64f767d1fb3bef2e0b31f13f8ed5764dd3c5ede563c543694946a26ef16e22ee
MD5 950bd40b72871ca9230771bc5f01ec40 files/50agda-gentoo.el 318
RMD160 8562741e1705eb87f9409a4b25d19d5c11ed42a2 files/50agda-gentoo.el 318
SHA256 64f767d1fb3bef2e0b31f13f8ed5764dd3c5ede563c543694946a26ef16e22ee files/50agda-gentoo.el 318
AUX agda-make_install.patch 549 RMD160 323539535e17244e979f0fd14684f4375e0de4ef SHA1 f7e9a2b633b7c03f305db1210f954f34e5dc4037 SHA256 f23e6fa062ca5ef3c6b1e6b7e9133a19bcf3846e12fdd1659d23d44d252946fc
MD5 2295b9b9d83dd185900ab3b215f2fc6f files/agda-make_install.patch 549
RMD160 323539535e17244e979f0fd14684f4375e0de4ef files/agda-make_install.patch 549
SHA256 f23e6fa062ca5ef3c6b1e6b7e9133a19bcf3846e12fdd1659d23d44d252946fc files/agda-make_install.patch 549
DIST Agda-1.0.2.tar.gz 505642 RMD160 6686a0bd5920a83a3e08ef2894b8ddf1620f21c2 SHA1 fffcb8ca8d565e40756cd57035d869a90d2538cc SHA256 2ab56783a26e84f64422316daf0ce160f983667357361e2986baa13fb17e7ea1
EBUILD agda-1.0.2-r1.ebuild 1285 RMD160 282b7f62244a136273ef7edbf8a6b05d4b63b2c2 SHA1 a72b9421dd3756a06af6eed93820a241a9eb4ce4 SHA256 a6036be01e8148834ccc86963c3390732d9a68ff9bd180e8f9e38cac58756c58
MD5 97b6f8fa5058c7570d20b4d7f34d1055 agda-1.0.2-r1.ebuild 1285
RMD160 282b7f62244a136273ef7edbf8a6b05d4b63b2c2 agda-1.0.2-r1.ebuild 1285
SHA256 a6036be01e8148834ccc86963c3390732d9a68ff9bd180e8f9e38cac58756c58 agda-1.0.2-r1.ebuild 1285
EBUILD agda-1.0.2.ebuild 1245 RMD160 e65efea922b05c1ddf0281a8077bc0be96ee0c71 SHA1 62b40aac8116625bdcf8c482d5d5e1bf93a246bc SHA256 d70fbd56c5c93165803da219e6b09553ee3fdd5bb2798302ee94a3a9a537e2e8
MD5 af0a8cb91863c2a596b56032035f7229 agda-1.0.2.ebuild 1245
RMD160 e65efea922b05c1ddf0281a8077bc0be96ee0c71 agda-1.0.2.ebuild 1245
SHA256 d70fbd56c5c93165803da219e6b09553ee3fdd5bb2798302ee94a3a9a537e2e8 agda-1.0.2.ebuild 1245
MISC ChangeLog 1277 RMD160 6999fe3cff33bc83a740ffaaa2509c89f6c0a7ba SHA1 7f4ac3f183bde11fb0b4ed0611ef14ac9774e12f SHA256 a671c0f5447f5608c671f1f1c72b287e20c9e3d8b49e657a19720b6c201f82f2
MD5 4c988af0834f4dd4440b5ab5a65a8084 ChangeLog 1277
RMD160 6999fe3cff33bc83a740ffaaa2509c89f6c0a7ba ChangeLog 1277
SHA256 a671c0f5447f5608c671f1f1c72b287e20c9e3d8b49e657a19720b6c201f82f2 ChangeLog 1277
MISC metadata.xml 179 RMD160 df489a6cad85f0b92f9766fa51d3ba4400889b4c SHA1 a70f1537d568405a6cae08cc53c80176bf307c84 SHA256 314c17b2733c7282a7ce0f60bbb5d36aaebd67fa7f76fe45535c4d7073178dd0
MD5 fa44c10a8d0f5cb4a3ebf987c8ac04c3 metadata.xml 179
RMD160 df489a6cad85f0b92f9766fa51d3ba4400889b4c metadata.xml 179
SHA256 314c17b2733c7282a7ce0f60bbb5d36aaebd67fa7f76fe45535c4d7073178dd0 metadata.xml 179
MD5 98bd3cd8d24abf74efcf22a2e12cdd71 files/digest-agda-1.0.2 232
RMD160 7dc6661694f20a10fb482b5e6d06627363825de5 files/digest-agda-1.0.2 232
SHA256 240d4bacf5e94ee20d8c3d32e102884aea60f83835a9f73755dfe2afd119db22 files/digest-agda-1.0.2 232
MD5 98bd3cd8d24abf74efcf22a2e12cdd71 files/digest-agda-1.0.2-r1 232
RMD160 7dc6661694f20a10fb482b5e6d06627363825de5 files/digest-agda-1.0.2-r1 232
SHA256 240d4bacf5e94ee20d8c3d32e102884aea60f83835a9f73755dfe2afd119db22 files/digest-agda-1.0.2-r1 232
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.7 (GNU/Linux)

iD8DBQFHKIOvnUVyUObPUL4RAg/tAJkBJIumnQc4SMhl6n06CcihmI8W7ACdGAMw
mMYHmsMVg1fYCsMRtDeU2MI=
=YWaW
-----END PGP SIGNATURE-----