diff options
| author |   Christian Heim <phreak@gentoo.org> | 2007-07-31 21:55:49 +0000 |
|---|---|---|
| committer | Christian Heim <phreak@gentoo.org> | 2007-07-31 21:55:49 +0000 |
| commit | 325ca5955f5575bd3f4052a0e38bb206593bf585 (patch) | |
| tree | 36744aa886986996b35bcf37dfcbb8811bbb8550 /sci-mathematics | |
| parent | Reassigning to sci from math-proof. (diff) | |
| download | gentoo-2-325ca5955f5575bd3f4052a0e38bb206593bf585.tar.gz gentoo-2-325ca5955f5575bd3f4052a0e38bb206593bf585.tar.bz2 gentoo-2-325ca5955f5575bd3f4052a0e38bb206593bf585.zip | |
Reassigning to sci from math-proof.
(Portage version: 2.1.3_rc9)
(Signed Manifest commit)
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/agda/Manifest | 26 |
1 files changed, 18 insertions, 8 deletions
diff --git a/sci-mathematics/agda/Manifest b/sci-mathematics/agda/Manifest index 604c03b08e7f..e04c5ad915e3 100644 --- a/sci-mathematics/agda/Manifest +++ b/sci-mathematics/agda/Manifest @@ -1,3 +1,6 @@ +-----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 @@ -11,14 +14,21 @@ EBUILD agda-1.0.2.ebuild 1246 RMD160 5f4bb377709d449aa58af4aa1dcbe30805be1bd7 SH MD5 9ba686e45be0f63eded30d218cc02b0e agda-1.0.2.ebuild 1246 RMD160 5f4bb377709d449aa58af4aa1dcbe30805be1bd7 agda-1.0.2.ebuild 1246 SHA256 7f3fa32f203aa406a7cd90cc939bba3f77f2861baeb87414e4c19ba33652cbff agda-1.0.2.ebuild 1246 -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 +MISC ChangeLog 935 RMD160 7a780043a0982f971a89b61cb28741a3f6f95ea8 SHA1 610bda1bfdb398268420ce27d38befef496abfec SHA256 ae8860092871cc36f0fb0fe02fedb289e0dc5d9b85b976004c705781325afb48 +MD5 ab8a15ece3e7cc7606f099595110b33d ChangeLog 935 +RMD160 7a780043a0982f971a89b61cb28741a3f6f95ea8 ChangeLog 935 +SHA256 ae8860092871cc36f0fb0fe02fedb289e0dc5d9b85b976004c705781325afb48 ChangeLog 935 +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 +-----BEGIN PGP SIGNATURE----- +Version: GnuPG v2.0.5 (GNU/Linux) + +iD8DBQFGr6/ryuNVb5qfaOYRArPcAKC0hGEL6Acrp5dFW2+WL6BBy8t2FgCfdETs +8Ze1Lhp8zrCj/AlRBjNA2wU= +=ZCfc +-----END PGP SIGNATURE----- |