blob: 5374a3f241e7e04d85dbb46fba6edcddb0e5a5bd (
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.0.2.tar.gz 505642 RMD160 6686a0bd5920a83a3e08ef2894b8ddf1620f21c2 SHA1 fffcb8ca8d565e40756cd57035d869a90d2538cc SHA256 2ab56783a26e84f64422316daf0ce160f983667357361e2986baa13fb17e7ea1
EBUILD agda-1.0.2.ebuild 1246 RMD160 ac60d7d24f48a6ef40cf2d2cd6c8f1e178eaf826 SHA1 64743e96a4b965674c7438574c462fb4a192da89 SHA256 c9becc670e30cd01c6a9926ddd81d6dc74e3df81adbcb08ebf54943fc1a985d2
MD5 c35fcc709341405eb1260fcbe2b83cba agda-1.0.2.ebuild 1246
RMD160 ac60d7d24f48a6ef40cf2d2cd6c8f1e178eaf826 agda-1.0.2.ebuild 1246
SHA256 c9becc670e30cd01c6a9926ddd81d6dc74e3df81adbcb08ebf54943fc1a985d2 agda-1.0.2.ebuild 1246
MISC ChangeLog 711 RMD160 a12fbc574ce1c10ef114c688111bef9110f9f5dc SHA1 f8f6ab6a3753159f61d92097566c90aa8d71314c SHA256 78776466ca02416897fa8449dfd70420c2dd1bc229307b8d9f0c263b9a99e626
MD5 54495e980057440de443c5098b2984c0 ChangeLog 711
RMD160 a12fbc574ce1c10ef114c688111bef9110f9f5dc ChangeLog 711
SHA256 78776466ca02416897fa8449dfd70420c2dd1bc229307b8d9f0c263b9a99e626 ChangeLog 711
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 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
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFF/Y0cwx9vvAARv2sRAvJsAJwL/6ZvlevDnpmoLuKAQf7COGcZ7QCg3VMA
JwlhDkbsf9tItsiUI2D7ntU=
=38qN
-----END PGP SIGNATURE-----
|
GitWeb
