diff options
| author |   Piotr Jaroszyński <peper@gentoo.org> | 2007-07-02 15:26:58 +0000 |
|---|---|---|
| committer | Piotr Jaroszyński <peper@gentoo.org> | 2007-07-02 15:26:58 +0000 |
| commit | 443f6cbce97c177f3c71564f3d3b4ca4c15c500b (patch) | |
| tree | 64ce760eb1906295db70589a9d7e315d9dee852a /sci-mathematics/coq/Manifest | |
| parent | (QA) RESTRICT clean up. (diff) | |
| download | gentoo-2-443f6cbce97c177f3c71564f3d3b4ca4c15c500b.tar.gz gentoo-2-443f6cbce97c177f3c71564f3d3b4ca4c15c500b.tar.bz2 gentoo-2-443f6cbce97c177f3c71564f3d3b4ca4c15c500b.zip | |
(QA) RESTRICT clean up.
(Portage version: 2.1.3_rc6)
(Signed Manifest commit)
Diffstat (limited to 'sci-mathematics/coq/Manifest')
| -rw-r--r-- | sci-mathematics/coq/Manifest | 32 |
1 files changed, 16 insertions, 16 deletions
diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest index db9a0d5f774e..0a84a5f4d93b 100644 --- a/sci-mathematics/coq/Manifest +++ b/sci-mathematics/coq/Manifest @@ -22,18 +22,18 @@ DIST coq-8.0pl1-translator.tar.gz 233233 RMD160 dc241dcd596e5c667a4e8295eb44f23c DIST coq-8.0pl1.tar.gz 2272613 RMD160 e8437bc84e130757ae4bc46b832a95c0ea655da3 SHA1 6a34bbed937e57b6e783765344004fadf9cd827f SHA256 e90955b200b1bd64093eeebbad173d1228ea9d88aea0615a28de08782024be33 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 -SHA256 fed6aac37fc0537174cc37f16e4afa53d19868ae5a4ed1ddc30628d05febcc20 coq-8.0-r1.ebuild 2067 -EBUILD coq-8.0_p3.ebuild 2050 RMD160 e122aa9d58692667b9ee7a6a2a8edb3490ab044f SHA1 ed223f6629ee4366e5b7e0a9615c8ad030496139 SHA256 472b2acadf94214a39e8bf27ce81aff06c80ec825fad82cee5d7da30a61ec24a -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 3172 RMD160 40277b31112a65e81602581ea84d957fb15546d6 SHA1 e4288bf7dd1b38f7697286793de61ed0c1c285ca SHA256 16f2ebf8c2c0d0f38e74509869ec1ee720e72bed6f309981e25a803823f58d73 -MD5 3ec53a9b74b45d52102b077509c4e21b ChangeLog 3172 -RMD160 40277b31112a65e81602581ea84d957fb15546d6 ChangeLog 3172 -SHA256 16f2ebf8c2c0d0f38e74509869ec1ee720e72bed6f309981e25a803823f58d73 ChangeLog 3172 +EBUILD coq-8.0-r1.ebuild 2065 RMD160 3a8f789e1b2aa5685bf91ea8275adbc5d9399cdc SHA1 6af7eede753cdcf30c39975b0b6bde09fcac5705 SHA256 ca17fb5bbf9e36fb3880307a6f0df9b6a90c985d6d47d7830f9f6a891cb34b17 +MD5 32ab0325f73670990840fd4d5cbb87e6 coq-8.0-r1.ebuild 2065 +RMD160 3a8f789e1b2aa5685bf91ea8275adbc5d9399cdc coq-8.0-r1.ebuild 2065 +SHA256 ca17fb5bbf9e36fb3880307a6f0df9b6a90c985d6d47d7830f9f6a891cb34b17 coq-8.0-r1.ebuild 2065 +EBUILD coq-8.0_p3.ebuild 2047 RMD160 e5a3917835844b9c45a3f17e6b242ac44e627112 SHA1 e7e01fa88f0a04c662ca3a7eff494985b4970daa SHA256 fa555a38d6b2f7716b2485cdcd9600b987251fa0ba13f3a06f46fe76d9228927 +MD5 048ee6aefee27e33a7c61c076ec38154 coq-8.0_p3.ebuild 2047 +RMD160 e5a3917835844b9c45a3f17e6b242ac44e627112 coq-8.0_p3.ebuild 2047 +SHA256 fa555a38d6b2f7716b2485cdcd9600b987251fa0ba13f3a06f46fe76d9228927 coq-8.0_p3.ebuild 2047 +MISC ChangeLog 3292 RMD160 333231712e98b760781703350a94c021abbba761 SHA1 a0c1cda55014117163b86469b7eee56193e0dad3 SHA256 bca04a17d6cae0a512f8cf03b0fc3cc32dde2c7ad4a03c9a7bb7cea1b2ec8419 +MD5 001665a1bfd38e7751cbcd0c236e69d0 ChangeLog 3292 +RMD160 333231712e98b760781703350a94c021abbba761 ChangeLog 3292 +SHA256 bca04a17d6cae0a512f8cf03b0fc3cc32dde2c7ad4a03c9a7bb7cea1b2ec8419 ChangeLog 3292 MISC metadata.xml 245 RMD160 1ced74b1aec8b3f12cfd97119ca6b3bd7de954a2 SHA1 c4b88bc0384a23bb4d4a6ab24185515911452b1b SHA256 34da41cb737e4ef4b13d5e934c9800a1e9ea05016fdfd4b8285eb16c51f9e140 MD5 051b19b1bff1e9764732760637bf1594 metadata.xml 245 RMD160 1ced74b1aec8b3f12cfd97119ca6b3bd7de954a2 metadata.xml 245 @@ -45,9 +45,9 @@ 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) +Version: GnuPG v2.0.4 (GNU/Linux) -iD8DBQFF3O8Cz974XjDVpbkRApzBAJ9uGO9Afi3zHF8W0m5ffvOYJR6wlQCdEYz8 -1ynLQVgSG51to7Dr+MbaFao= -=JmTW +iD8DBQFGiRk7ppoStNGKGywRArHLAJ0cU0MhGm5E04QuX55vtYgNjK2S9ACaA+WX +Eb7fei0AAfKLEPH/wC6NLK8= +=w5Wt -----END PGP SIGNATURE----- |