diff options
| author |   Alexandre Buisse <nattfodd@gentoo.org> | 2007-03-25 09:46:39 +0000 |
|---|---|---|
| committer | Alexandre Buisse <nattfodd@gentoo.org> | 2007-03-25 09:46:39 +0000 |
| commit | 7060b76e977ddff2ad4a7b20d76d52c37ec6fcb0 (patch) | |
| tree | ccbad91ff336544ac70984a25daffa8cc3e0f66b /sci-mathematics/agda | |
| parent | Added haskell herd and removed myself as maintainer. (diff) | |
| download | gentoo-2-7060b76e977ddff2ad4a7b20d76d52c37ec6fcb0.tar.gz gentoo-2-7060b76e977ddff2ad4a7b20d76d52c37ec6fcb0.tar.bz2 gentoo-2-7060b76e977ddff2ad4a7b20d76d52c37ec6fcb0.zip | |
Added haskell herd and removed myself as maintainer.
(Portage version: 2.1.2.2)
(Signed Manifest commit)
Diffstat (limited to 'sci-mathematics/agda')
| -rw-r--r-- | sci-mathematics/agda/Manifest | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/sci-mathematics/agda/Manifest b/sci-mathematics/agda/Manifest index 5374a3f241e7..1e5c99516648 100644 --- a/sci-mathematics/agda/Manifest +++ b/sci-mathematics/agda/Manifest @@ -14,21 +14,21 @@ EBUILD agda-1.0.2.ebuild 1246 RMD160 ac60d7d24f48a6ef40cf2d2cd6c8f1e178eaf826 SH 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 +MISC ChangeLog 834 RMD160 2f03cae2d1349444ca7c1bbc80e1bd2e6f337b9e SHA1 a5a13a4911e49ff08ef7b16f31c8dd86dba262ac SHA256 745c9fa49c1b5eba1de200729424858950878c73d5317b16fa55fbcd7347c51e +MD5 cc8bd02c5c44b821ddf13617915e897e ChangeLog 834 +RMD160 2f03cae2d1349444ca7c1bbc80e1bd2e6f337b9e ChangeLog 834 +SHA256 745c9fa49c1b5eba1de200729424858950878c73d5317b16fa55fbcd7347c51e ChangeLog 834 +MISC metadata.xml 186 RMD160 3066002adada39884a8f4b65635476f59a4e77a0 SHA1 9a7029c6ac9aab4e290bdfa6224e3c33223bb83d SHA256 55d1d1a1656caa553d75d22a2313beaac58d4e45a5b2db2682aafc9eba11ac56 +MD5 1249b48e42ab6b7d554b2f1e6137a8f3 metadata.xml 186 +RMD160 3066002adada39884a8f4b65635476f59a4e77a0 metadata.xml 186 +SHA256 55d1d1a1656caa553d75d22a2313beaac58d4e45a5b2db2682aafc9eba11ac56 metadata.xml 186 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 +iD8DBQFGBkXPwx9vvAARv2sRApo4AJ4sexL6GT0fKaSF7AhowRnURgn07ACgtvM1 +qNeJ8QnvDGX8zNExtP36qVQ= +=kZr5 -----END PGP SIGNATURE----- |