diff options
| author |   Markus Dittrich <markusle@gentoo.org> | 2007-09-29 15:40:46 +0000 |
|---|---|---|
| committer | Markus Dittrich <markusle@gentoo.org> | 2007-09-29 15:40:46 +0000 |
| commit | 5a4d7d7d977047c2f9b4896582f66a20fff97a6e (patch) | |
| tree | 76de9f6d48915f643c883d7d5e9e37e895fe9dce /sci-mathematics | |
| parent | Version bump (see bug #192522). (diff) | |
| download | gentoo-2-5a4d7d7d977047c2f9b4896582f66a20fff97a6e.tar.gz gentoo-2-5a4d7d7d977047c2f9b4896582f66a20fff97a6e.tar.bz2 gentoo-2-5a4d7d7d977047c2f9b4896582f66a20fff97a6e.zip | |
Version bump (see bug #192522).
(Portage version: 2.1.3.9)
(Unsigned Manifest commit)
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/coq/Manifest | 26 |
1 files changed, 12 insertions, 14 deletions
diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest index 683c9e0ce89c..3dcb865f8ba6 100644 --- a/sci-mathematics/coq/Manifest +++ b/sci-mathematics/coq/Manifest @@ -1,6 +1,3 @@ ------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 @@ -22,6 +19,7 @@ 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 +DIST coq-8.1pl1.tar.gz 2984726 RMD160 9982d2022abfb2f74dc34cdc6cdd25343f5cb583 SHA1 8142cd21b3d0b5fd56c3b5568550c09cac91a3f8 SHA256 04ffc9c5a31953af6294753118dbb2e41b6aa5aaa5a41f7cf2648afff98f4940 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 @@ -30,10 +28,14 @@ EBUILD coq-8.0_p3.ebuild 2047 RMD160 e5a3917835844b9c45a3f17e6b242ac44e627112 SH 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 3571 RMD160 6783290b2536472b6fdb2002c185f20912746c77 SHA1 7d05eb00f8fd0e29bb0fded1d041c69181c86d55 SHA256 1bf98aa290241937e1d282a36fd480ad1905063ad450042b280ece09a8bb3315 -MD5 42207b140eef58dcc0a0f67731e7a3c6 ChangeLog 3571 -RMD160 6783290b2536472b6fdb2002c185f20912746c77 ChangeLog 3571 -SHA256 1bf98aa290241937e1d282a36fd480ad1905063ad450042b280ece09a8bb3315 ChangeLog 3571 +EBUILD coq-8.1_p1.ebuild 1608 RMD160 223fcb9d560d55f55c5f122d663424a9804dde1e SHA1 7c07873cb3f6747ecf961e076a5da29da004f84f SHA256 cf986df7d002cba26ddaf67380afce40f90957c3e9afab22103aac979a74c407 +MD5 2dd2ecb0608802ec82221d160245be5b coq-8.1_p1.ebuild 1608 +RMD160 223fcb9d560d55f55c5f122d663424a9804dde1e coq-8.1_p1.ebuild 1608 +SHA256 cf986df7d002cba26ddaf67380afce40f90957c3e9afab22103aac979a74c407 coq-8.1_p1.ebuild 1608 +MISC ChangeLog 3712 RMD160 dea891962495ff0c3d46b620505b9afe75aa6663 SHA1 5584e5bca5c94f3a86e074085cf2c52b460df734 SHA256 37f8e5af81072c1b10ab8b8307f42a2481786305ec33d845ecc22dd9325226ac +MD5 71f5e896fe9b0c9badfe63e8ccce29ec ChangeLog 3712 +RMD160 dea891962495ff0c3d46b620505b9afe75aa6663 ChangeLog 3712 +SHA256 37f8e5af81072c1b10ab8b8307f42a2481786305ec33d845ecc22dd9325226ac ChangeLog 3712 MISC metadata.xml 174 RMD160 b6d9f7a487e305c44a47ffaa8d982731b5825a19 SHA1 70e63d5e68a5449b129f8f91f2554e8406e212a0 SHA256 3c931940a18c0692dd36b609c3026ce41dcde08cdc9e2d0d7bc0a0cf774e8c5b MD5 587dfb99f9b1ef3ef6a79733b24811cc metadata.xml 174 RMD160 b6d9f7a487e305c44a47ffaa8d982731b5825a19 metadata.xml 174 @@ -44,10 +46,6 @@ 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.6 (GNU/Linux) - -iD8DBQFG1sbJyuNVb5qfaOYRArVZAJ9Q7UyxfSp39FHMO+5aH3YHHrfe2wCgplBj -QeYd9RJfcIydkAFGb5cpE5k= -=m4n4 ------END PGP SIGNATURE----- +MD5 7a4fed88ce4670c5216e542adeaaa4f7 files/digest-coq-8.1_p1 235 +RMD160 25cc8fd78c93c6b6ce97ba7435ead0c8b7f863f5 files/digest-coq-8.1_p1 235 +SHA256 c45e2081aea31363e671e61b8335e4a15955ea13bc5e9f26f6f0a0fd96cdae84 files/digest-coq-8.1_p1 235 |