blob: 8476c47603e1108c74b1b6d25027276a5c160947 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
-----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.1-cvs20050601.tar.gz 411993 RMD160 562cd4314f22f8763caa6b1ff025f96924a7fce6 SHA1 a3e19b11bcb43c6e1103ce36d1479d30a4826672 SHA256 75f7efc479f664e0cd12680af40082e93410fc130f9a2881663d54c2853b5814
EBUILD agda-20050601.ebuild 1364 RMD160 4d5dd63caab61746d09a085ba54b8556bfc1fb5c SHA1 6b22aa8c785f88f3846cbc9a3f7d619a257093f6 SHA256 663b3592154b6056852f6b0cd37e5adb1128529a7fbc94a0875499258bb6775d
MD5 5c9832edb82f734d8662257470b938f3 agda-20050601.ebuild 1364
RMD160 4d5dd63caab61746d09a085ba54b8556bfc1fb5c agda-20050601.ebuild 1364
SHA256 663b3592154b6056852f6b0cd37e5adb1128529a7fbc94a0875499258bb6775d agda-20050601.ebuild 1364
MISC ChangeLog 490 RMD160 8d257d1ba051d351a31000229828762651d916ec SHA1 070aea7a36e7b63e46af859f5de4c15d10e103b8 SHA256 eb83893f55caef45fce59647a8373b0b760efee9b4abb180fcf87f8a64a5cbc8
MD5 a66bf9889d42cd94498d5e4b45f278e4 ChangeLog 490
RMD160 8d257d1ba051d351a31000229828762651d916ec ChangeLog 490
SHA256 eb83893f55caef45fce59647a8373b0b760efee9b4abb180fcf87f8a64a5cbc8 ChangeLog 490
MISC metadata.xml 262 RMD160 40a79c7a47bf41357031ea3505d676c48f1f1292 SHA1 84fc35c85f916614b3648fbd909dbbbd1c2471a5 SHA256 123f078e162fb42574af32faee9ded61a0986c3eef35a4ce5989953e464e8c0f
MD5 dcf379a33cdc813d247f606073b36244 metadata.xml 262
RMD160 40a79c7a47bf41357031ea3505d676c48f1f1292 metadata.xml 262
SHA256 123f078e162fb42574af32faee9ded61a0986c3eef35a4ce5989953e464e8c0f metadata.xml 262
MD5 377344cb60e6d766fe2bdb430ec8713d files/digest-agda-20050601 262
RMD160 859ba2a4a74df4afcb9d3870ab69d1820117c953 files/digest-agda-20050601 262
SHA256 444762b6fc59669cd052cc962fc45deb9e3c85f60fcb11942b8d4c99e10ee342 files/digest-agda-20050601 262
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.4 (GNU/Linux)
iD8DBQFEtPfGwx9vvAARv2sRAr6bAKDJLdMd11osQzHnUL0eOzJcZVc5MwCgydQq
wJ9hw0VxhbrUfiiAwukzZk8=
=1xE8
-----END PGP SIGNATURE-----
|
GitWeb
