diff options
| author |   Markus Ullmann <jokey@gentoo.org> | 2007-02-22 01:18:47 +0000 |
|---|---|---|
| committer | Markus Ullmann <jokey@gentoo.org> | 2007-02-22 01:18:47 +0000 |
| commit | 9a893e099f370553b718e7d48ef0818bf692792e (patch) | |
| tree | 4c2658d6929703b469c8d64adb135036aff8c3f5 /sci-mathematics | |
| parent | Transition to Manifest2. (diff) | |
| download | gentoo-2-9a893e099f370553b718e7d48ef0818bf692792e.tar.gz gentoo-2-9a893e099f370553b718e7d48ef0818bf692792e.tar.bz2 gentoo-2-9a893e099f370553b718e7d48ef0818bf692792e.zip | |
Redigest for Manifest2
(Portage version: 2.1.2-r10)
(Signed Manifest commit)
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/coq/Manifest | 26 |
1 files changed, 18 insertions, 8 deletions
diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest index 389d1e6cb437..db9a0d5f774e 100644 --- a/sci-mathematics/coq/Manifest +++ b/sci-mathematics/coq/Manifest @@ -1,3 +1,6 @@ +-----BEGIN PGP SIGNED MESSAGE----- +Hash: SHA1 + AUX coq-8.0-byteflags.patch 676 RMD160 c426bf5a23e83b354574b78f084d521fedc1c325 SHA1 7f2d8d87a2743ed0bfc1cb45ebaf8acf1ddcc11d SHA256 4bdd7fcddd5a1f845be8df40f9a5b7d7fee1cf88bb744866804ab1da4253a2d5 MD5 5d46723c29afcd1e24e529e5993c3096 files/coq-8.0-byteflags.patch 676 RMD160 c426bf5a23e83b354574b78f084d521fedc1c325 files/coq-8.0-byteflags.patch 676 @@ -14,11 +17,11 @@ AUX ocaml-3.07.patch 333 RMD160 8506611923b6a54b546419df43cda235d8fa042e SHA1 75 MD5 393c3085f82f205122b4e66c94232ff7 files/ocaml-3.07.patch 333 RMD160 8506611923b6a54b546419df43cda235d8fa042e files/ocaml-3.07.patch 333 SHA256 d1cb93dedf8aa61723e897bdaf3aefd5699cb53a5042aeac408fef392095250a files/ocaml-3.07.patch 333 -DIST coq-8.0_p3-ocaml-3.09.patch.gz 5256 RMD160 17dd484a71ddcf5724435ef7386db070b9840949 SHA256 6eacae4a27de43e5cef2ef8c5971f869bf0df291436aa1ac573fd8bf7ae698fc -DIST coq-8.0pl1-translator.tar.gz 233233 RMD160 dc241dcd596e5c667a4e8295eb44f23cbfef432e SHA256 baea2c89f52c06062b3c38d3cd9367206dcbb7728a0315d1d2ce49524f4aa340 +DIST coq-8.0_p3-ocaml-3.09.patch.gz 5256 RMD160 17dd484a71ddcf5724435ef7386db070b9840949 SHA1 cf270ee2002f3d0f14802fdfc84dbf2d09c5434e SHA256 6eacae4a27de43e5cef2ef8c5971f869bf0df291436aa1ac573fd8bf7ae698fc +DIST coq-8.0pl1-translator.tar.gz 233233 RMD160 dc241dcd596e5c667a4e8295eb44f23cbfef432e SHA1 b1e016f607aba76267771438481e1f5ed6d09d41 SHA256 baea2c89f52c06062b3c38d3cd9367206dcbb7728a0315d1d2ce49524f4aa340 DIST coq-8.0pl1.tar.gz 2272613 RMD160 e8437bc84e130757ae4bc46b832a95c0ea655da3 SHA1 6a34bbed937e57b6e783765344004fadf9cd827f SHA256 e90955b200b1bd64093eeebbad173d1228ea9d88aea0615a28de08782024be33 -DIST coq-8.0pl3-translator.tar.gz 233228 RMD160 7dd748ee5929faf93ca75bec94b443573405b0fe SHA256 78def7e2998526db8c5740580113802a821c31de65bb12a7c74c512f6a9328f7 -DIST coq-8.0pl3.tar.gz 2309002 RMD160 925a65fdd0c96f4fe6082bc7bfb8483c83b5fea7 SHA256 03d02b39873197f5365aad9bc2b917f4db234dcfd4bcff79febd8525770fb84c +DIST coq-8.0pl3-translator.tar.gz 233228 RMD160 7dd748ee5929faf93ca75bec94b443573405b0fe SHA1 4a62e60759c8bbbf454febc47da0c92a0e9f862e SHA256 78def7e2998526db8c5740580113802a821c31de65bb12a7c74c512f6a9328f7 +DIST coq-8.0pl3.tar.gz 2309002 RMD160 925a65fdd0c96f4fe6082bc7bfb8483c83b5fea7 SHA1 b182f25b8e6591139281f7078d049aaa7f0408d8 SHA256 03d02b39873197f5365aad9bc2b917f4db234dcfd4bcff79febd8525770fb84c EBUILD coq-8.0-r1.ebuild 2067 RMD160 644b4b4584739516781beed6ae2cf45d1d1840d1 SHA1 9bdcac16c82d1dadc8009fd98e20c15e251d5be7 SHA256 fed6aac37fc0537174cc37f16e4afa53d19868ae5a4ed1ddc30628d05febcc20 MD5 4a4ffa884422004f87fb79781054f44b coq-8.0-r1.ebuild 2067 RMD160 644b4b4584739516781beed6ae2cf45d1d1840d1 coq-8.0-r1.ebuild 2067 @@ -27,10 +30,10 @@ EBUILD coq-8.0_p3.ebuild 2050 RMD160 e122aa9d58692667b9ee7a6a2a8edb3490ab044f SH MD5 b0895b8ac7e7a80cc4eb3b4ffa0cbfb7 coq-8.0_p3.ebuild 2050 RMD160 e122aa9d58692667b9ee7a6a2a8edb3490ab044f coq-8.0_p3.ebuild 2050 SHA256 472b2acadf94214a39e8bf27ce81aff06c80ec825fad82cee5d7da30a61ec24a coq-8.0_p3.ebuild 2050 -MISC ChangeLog 3087 RMD160 09af847784b5106a0474cbd924b6efd6b004a94b SHA1 7c6b04fa2b14192ce24b94bc4c26b995e8b9906b SHA256 08843b1c6188a2bbd736f23a9ffc6c39131e020ebada16d892148bb11d08ab5e -MD5 1c9d50d0d4512dfaabb7d6a8bf93321c ChangeLog 3087 -RMD160 09af847784b5106a0474cbd924b6efd6b004a94b ChangeLog 3087 -SHA256 08843b1c6188a2bbd736f23a9ffc6c39131e020ebada16d892148bb11d08ab5e ChangeLog 3087 +MISC ChangeLog 3172 RMD160 40277b31112a65e81602581ea84d957fb15546d6 SHA1 e4288bf7dd1b38f7697286793de61ed0c1c285ca SHA256 16f2ebf8c2c0d0f38e74509869ec1ee720e72bed6f309981e25a803823f58d73 +MD5 3ec53a9b74b45d52102b077509c4e21b ChangeLog 3172 +RMD160 40277b31112a65e81602581ea84d957fb15546d6 ChangeLog 3172 +SHA256 16f2ebf8c2c0d0f38e74509869ec1ee720e72bed6f309981e25a803823f58d73 ChangeLog 3172 MISC metadata.xml 245 RMD160 1ced74b1aec8b3f12cfd97119ca6b3bd7de954a2 SHA1 c4b88bc0384a23bb4d4a6ab24185515911452b1b SHA256 34da41cb737e4ef4b13d5e934c9800a1e9ea05016fdfd4b8285eb16c51f9e140 MD5 051b19b1bff1e9764732760637bf1594 metadata.xml 245 RMD160 1ced74b1aec8b3f12cfd97119ca6b3bd7de954a2 metadata.xml 245 @@ -41,3 +44,10 @@ SHA256 a3b19476c72b3a27e40f09715030ceb8a0ec7ab781257b8542e9cba0f8c7cb3a files/di MD5 07d28c72f4d0913e374c8acba9a363b8 files/digest-coq-8.0_p3 765 RMD160 0eb02a90f6cb1bd9b1174cf2fc2e724a4f50cee9 files/digest-coq-8.0_p3 765 SHA256 d1900263704dc613417b872026abf1bde19771a25ebd7c0a09e7c82ee1201ec6 files/digest-coq-8.0_p3 765 +-----BEGIN PGP SIGNATURE----- +Version: GnuPG v2.0.1 (GNU/Linux) + +iD8DBQFF3O8Cz974XjDVpbkRApzBAJ9uGO9Afi3zHF8W0m5ffvOYJR6wlQCdEYz8 +1ynLQVgSG51to7Dr+MbaFao= +=JmTW +-----END PGP SIGNATURE----- |