blob: 40211a00374c4716a281013114b746a302b3fe75 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
AUX 50agda-gentoo.el 318 RMD160 8562741e1705eb87f9409a4b25d19d5c11ed42a2 SHA1 68d46099ad58b0d6617b3479aeece4e618040f5c SHA256 64f767d1fb3bef2e0b31f13f8ed5764dd3c5ede563c543694946a26ef16e22ee
AUX agda-1.0.2-upstream-fixes.patch 2011 RMD160 2a8800c74748746e78b8e27e9f869ec258535186 SHA1 ea6d31923b5da554145020f4618179a6bb555b42 SHA256 634253f00a400f4e4e2c2714287ff6a7ebd1b5623d60770a6963e42d3a9f8cac
AUX agda-make_install.patch 549 RMD160 323539535e17244e979f0fd14684f4375e0de4ef SHA1 f7e9a2b633b7c03f305db1210f954f34e5dc4037 SHA256 f23e6fa062ca5ef3c6b1e6b7e9133a19bcf3846e12fdd1659d23d44d252946fc
DIST Agda-1.0.2.tar.gz 505642 RMD160 6686a0bd5920a83a3e08ef2894b8ddf1620f21c2 SHA1 fffcb8ca8d565e40756cd57035d869a90d2538cc SHA256 2ab56783a26e84f64422316daf0ce160f983667357361e2986baa13fb17e7ea1
EBUILD agda-1.0.2-r2.ebuild 1383 RMD160 b7d33cc7863b70ce156152b7bd5d9af8044dd027 SHA1 c3f610978d16cb034be0c8873e9166cee7782174 SHA256 457f2a8e16fae83a8747071dd625398fec5775221cf30d3fde084eae83a55090
MISC ChangeLog 1837 RMD160 7a7b2e9aee468dfa15874faf253f55f905387008 SHA1 665b8a58e8cd0d5429cace3092ca907318594fb9 SHA256 b1f15d01ae34b6310f828fa9b0b711077edada704217a998c2d11568455bb1ee
MISC metadata.xml 534 RMD160 0441029b6e1a3409af8ae8dc66ce2b6bb13cea6c SHA1 018fada115cd6275c73c53cbb929be2857dd9024 SHA256 4b2301380c3d5573d7a34753fd9191a558783e2a5a1de759780dd96fc9d9c42c
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.9 (GNU/Linux)
iEYEARECAAYFAkk5XbEACgkQ1ycZbhPLE2BQTgCfdINIWzYQKBM6P6nRT8cBPYY/
n6EAoIeqmZc1QWRX3LhqqhFRnqcaL6Ek
=Yg+W
-----END PGP SIGNATURE-----
|
GitWeb
