diff options
| author |   Justin Lecher <jlec@gentoo.org> | 2014-01-23 08:17:50 +0000 |
|---|---|---|
| committer | Justin Lecher <jlec@gentoo.org> | 2014-01-23 08:17:50 +0000 |
| commit | 272f475136acb79e9d69d5ff1db1f85ddfcab684 (patch) | |
| tree | 6d78f5e060089bdc9e41f581b23b02259e648d4a /sci-mathematics | |
| parent | sci-mathematics/coq: Version Bump, fixes problems with make-4, #493144 (diff) | |
| download | gentoo-2-272f475136acb79e9d69d5ff1db1f85ddfcab684.tar.gz gentoo-2-272f475136acb79e9d69d5ff1db1f85ddfcab684.tar.bz2 gentoo-2-272f475136acb79e9d69d5ff1db1f85ddfcab684.zip | |
sci-mathematics/coq: Version Bump, fixes problems with make-4, #493144
(Portage version: 2.2.8-r1/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/coq/Manifest | 32 |
1 files changed, 22 insertions, 10 deletions
diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest index ea84b5f9fbe6..d67318b831d6 100644 --- a/sci-mathematics/coq/Manifest +++ b/sci-mathematics/coq/Manifest @@ -1,20 +1,32 @@ -----BEGIN PGP SIGNED MESSAGE----- -Hash: SHA256 +Hash: SHA512 AUX coq-8.4_p1-camlp4.patch 594 SHA256 453e8761bc525de0f96c72e43d777dc6e3bf9fdb6ab79fb602793f290ed30aa0 SHA512 1d6ed0ac8e6b321a4d942969076fef46a07de13c4d3e40776af7740182e87d025cef1ad523ce2b5c0c1fd567ef66eabfdbf727ae5729cd68ce85c936bd42d1dd WHIRLPOOL 6103237e90f19ded2e07fa8e279a368f794607591d5258b5fb41ab9a827c99c0cef058877891dfc888726bbc724185c3d548b1a7c2d0684bf69b30f3601ce4e5 AUX coqide.desktop 241 SHA256 4d2fd36d987021fe2f5a546d9c80c78700830931512e6970d44cfbba3dad50e4 SHA512 ee74f41a2684b9dcac099ef58d4d9b498382c4d109277fd2efcd984a2c8e38667040c899c91ebb136b735a8edea48a4a746c12034d280ffaf6bae83c61bd854d WHIRLPOOL d38bf0114b0c285fe18e2a799d41cfe01db8f24bc9deaf88b266160fc32c694914faea01143edc749e0bc67ed47f02ee2338a309947e4ff1fc44dba508f99112 DIST coq-8.3pl1.tar.gz 3756961 SHA256 3a497386bd74f43a5af1d0c53f29a017ce7ed1b1e60c052217fe04b7f40be928 DIST coq-8.4pl1.tar.gz 4139808 SHA256 5d0e4553ab50677a94b4d5ca1650a90718e9362082a649ba95be4010390a0f80 SHA512 dc0073d2cbce91ac27749d84de1b350ad71632555a682d8af6612768d2c92311eb1fd36b7370e0fb630d540639a1c7e16f26a9de25d03d82c3a6eefb99aa3420 WHIRLPOOL e912b97ba1f91d3398d569a588d7cb420389c88971847e66ddff38c3fc715e45842aab285e343c0c6339da659f324ee7b60f37fd0cdcd5a8ce27ab0e8cce915a DIST coq-8.4pl2.tar.gz 4145112 SHA256 fb719a38f613b01861e3b251e745a5c8ef395a26ce7029668e85ac75fcbca2d8 SHA512 151291a508c56f9fdc9efd96096852e94c247724030ad13122ad729476f3f7d4885c9202737d9109b6fa7f58029d3b9e8f472a7e587e0b60a49a0224ac399031 WHIRLPOOL ac338571da5f6efc08e9184f1e13b9783bd750627c70af2eee46116d2d949e61a0cbf31745373ccea3b3b862c1188316c2aa3b38e211a398185503c2844a33c5 -EBUILD coq-8.3_p1.ebuild 2142 SHA256 812c6ef68e6cbd4608eec74489e850c8349be6d79901d76f31e4c709be67767b SHA512 17c78f6e06cb5d18605db78ed160c8ba0fcd6255e00d9d9dfb716408e858aab653c2e182ab8b13fe5efc68fb0055d02b9bd4191d01a21dd828f960526cb14e35 WHIRLPOOL 660cf865954a2b464f88117dd55a756931f82e4a828135997b3ebd95512301ec6b6166ad6800cc8a3442c0683bd1c84714f59f4c6ea20ace42f21a94066d436b -EBUILD coq-8.4_p1.ebuild 2109 SHA256 affa89d43b4329e8d64976fe9db0fe00d6fe3ffc84db8e565dea5535d7809ebc SHA512 cfe84a7ab905c4c84e1bf64542191cee74ec3867fe0382c92995d588926aebafb3dddfbd1167bcef4966dbca72661cd1070911956e7fc2016b9295eba7de7f98 WHIRLPOOL 6dba5fbf96c658e6eb8b53551e376fca94a387494716112396fb54a3a4a4d74ebd619e2fffbfecdcdd9f50cbb51228360a65ddbea2e253f6c7d2048067822c03 -EBUILD coq-8.4_p2.ebuild 2052 SHA256 5a6cf50d89836d6a82b8207e415b4d9303e3b8339527875ef518add7812b13e7 SHA512 0a7919865b1347fd04e304370ce6e13ade45d14bcc313524eb804dc650740d1e8d33131c132d089c65f66adc28cdd42716ba6afd2f26c1ef993cebb6e71e23c8 WHIRLPOOL 83d2985efd8b3320d038ea2589cfcad4da253a477ab85bdd5b7300e02d25a3b2f23159d8fed59a6d78e496566ef13183b5bd01e03facc2948d8d3044c7e7ffa1 -MISC ChangeLog 13242 SHA256 1c2d5ff06edf301a5e65394c5439f7fdab4be53496051de6b11b2ff6da428bbd SHA512 ee46b7419f80e26071966fcef95100a3a01bef9dd29e1d1ac578a80f389f25f941d6a36074a6d5a0e8dfbc98029375c06e413f7b83c32819f9f791f9683802cd WHIRLPOOL 31e00faf6fb1f443b8e61fbdd22b4802e958da556829d09ae3fd457a4f14a36a76526c5efe9aa099a3701005084f38561ccf195ebe294e90683d90b2177faf38 -MISC metadata.xml 899 SHA256 e0676f509aac30fee1d2f69dcbb0644d06e8e15d8dcc72295f67ce0d769c032e SHA512 7f203472451d8725a671b3460f68baf03637055cf7eac21197e930bac79d2924a5dc04d8111465afbd47c49def5cb2a12023d2d58855cb319436603387536d61 WHIRLPOOL d5490532c78ab704459b90e0a03547d13f62b058f5aa2e7817e7b13f43745782a1de74bb251108fc2dfe8f73d0b0aefbd1898f5769fc4337b7f0e2991fcad421 +DIST coq-8.4pl3.tar.gz 4064579 SHA256 97583d637f981c5554007f4e99ce6420ebc737186b1d021bd71766fd891cfb38 SHA512 e4a385b10b30159545c283e11400f5790a6ca1b91632afe93b73c6a8b523fd408db173b25a1797f69bdfde9a16b37751944041aa9be5a1194b0fe49a9bb56240 WHIRLPOOL c44cc9f55f25dfb37d7b011c3ede3ad47f7191b02a6258bd4bda67854b9cce0e32b412ead826a5ca7a21dc2fe8841774231cb0693da335f5146172463ec57aa2 +EBUILD coq-8.3_p1.ebuild 2129 SHA256 111ec6cb5612ecf95164515314840dcf562b606b088cc2a298dc3254cdf9607c SHA512 c5c0f0b7d6ce738c247e5958fc29a686ec500d809b9e175d8a2aec108e36c91858b7cdf9301c0e81754838a8e5e430b50caab16772604ca77f0319a62268102e WHIRLPOOL d64c1def21f03772def04fba7537fb4dbf6035256a4d3eae56be864ae1f0a16325370e960ed79c6719c44ba4c88d030950121684f5af635d63967ccf4e2d3b5a +EBUILD coq-8.4_p1.ebuild 2096 SHA256 83fc4294a2d5d5f236225e7b403538806bef7642f0f4f7a6ccf25ac7994df361 SHA512 89d23b58d14e914c4019fa6d8a9fe3d019138ad0f0e5b7f40df413d50bd51471f1494d205c4514cd6ad603843d97894c6009f44d6dfe1c73bc090378a70c8c98 WHIRLPOOL d6cd968483b6b491c77154ce77941c541c5f853abaf809a4f8b144cc5408b2fd43e8066f48cc745239f15061144b106d100e5a404570ae22e7bc5df2a0852e21 +EBUILD coq-8.4_p2.ebuild 2013 SHA256 f6b5b1dfbccf4153a0916903f95d67a2b7284ad3746afad6ca3657285beef8bb SHA512 90a6d883dff9c6966a7b50e05d10d924f50f0f8e433f8b33d3d562c68825c14ec22d0c120d13d6d2061fb141fe03ecd480cf2456182b337711864a4156c01d0c WHIRLPOOL 60f8f20d755488ec88d708368f8e6d35a0204d049128716536706ed656aa6ebaef744f7c14cf7c5993a8a8278fda2f884d007e6e1698e0b25bff48229e93a0e0 +EBUILD coq-8.4_p3.ebuild 1996 SHA256 cdb1f77fc542b0c3a3c12d69656af19a32887daa7f66ead2f8215f7d9ade69d7 SHA512 b5facb001306516d9c5df9669977c2c1c2cc3634d370961d035286aab1425d387882dad05815feb05fb24b417495ffa55a86d35b7418dd6e4b5245c9cb71a5d8 WHIRLPOOL 4997f45d55b0ad65d457b24c3ceca658ec4577ce59885452937da1ebe22f88e1ded11dbce0f8690fb13d663ac67baff80eea2a5033cbdb7b7cf4bd8902b0c9cd +MISC ChangeLog 13458 SHA256 0b9bc64df5b5df5982ea82fc1e9c71ce9a76fd8ff070f75af959c49edb5f2cd8 SHA512 a350120adff3ec081d3b756f962a36e94d119ec52d66d2925ffa19ac7be063528994dcb16f7ec4f3e045824260905d48c55e7c06707523a8d12640b7a7d12718 WHIRLPOOL 7ee722b94aa6d28fba267e6a9957c840846944dd194c668ddc0a4dd6afa26aa4d91b80ad2f2703f66eef8068c5b136ea271a19682061a3bd895e112ef2bae626 +MISC metadata.xml 912 SHA256 004efe7e4a2a780d79f709c74ceb3477407b1f0120218eaf7b11e3d82cb67b65 SHA512 b0720691e44431b8060bd2fd5870147f68c9d4d887b46e667661c034f4efdecb638cd80ea6efd474c231ab342d9e708a522075a38c0de5f1a49040af2865ff2a WHIRLPOOL 05fce40010254b116541116a9851984382accbf5b9660696887857224aa45265d51ac64f8780a6224fa071eebc15efd04f85c2008b856741b291483d5a8c5666 -----BEGIN PGP SIGNATURE----- -Version: GnuPG v2.0.20 (GNU/Linux) +Version: GnuPG v2.0.22 (GNU/Linux) -iEYEAREIAAYFAlISNGgACgkQvFcC4BYPU0rDQgCgjIWSet57lNP/kbBVyWMr11Hb -ieEAn0D/kJzscOV3SZp2y0S0gk5PHS6W -=hZbU +iQIcBAEBCgAGBQJS4NAuAAoJELnU8jG9FVirirMP/1d9guP6qSsh3/0OmtoFc/4z +pZ9sO0zYJY1dE6Bj3LRqjfslFZvFcSm8iLVT0i+N5EhUWglqiGbEuLN8QaDvZCOy +0zlyM1iiIevWIIE7HymXz39wUCBLZ0eB6EXJKzMnXk9K6gWbVDw2onPbdailC4Ze +gobBXpFHC+giUycP7icLkqDdB65j/AYcM/OnbHqZYR8ibKQgjhK1ph6RwIjMSsBs +2U6UJe2fHCTECGBublvTdyPR0RiDXJjIdgcF3oSfSDDUZTomja8z8fqztYiVNEtF +APjLl4ZDI09VQONvLhWcSGeLhaDRShMlh1nyzDlKKMSD4jYbCRtqdlcRACSEDr0o +tGeHGZm9MgKHjODCc5lG+rVi2sumJ+TyMl9vkGh5x9ADSdG5Tqw5ngSw7hRH2u+/ +pmGbmGLFLf2Ic/yyCLMu9iegKYd5lXUM6memJAKK61+qq4u4ynFJqMu2j0bZYiJR +iMxlbhK8yhnDzGPj/V8/XUiZaTSpYUv9xHGBwumpwRX8cGPyBaAaakSDQOWpoW8z +OU3++vdTTceEmj9AJdBJUc+VC+RJNa4cs51YK9ncip7lu+f6QkzTk4z+Uq6Zq57h +vkTjeIW0Gk3THPGys05o83SA7TbjStphEVTQcEL9LMs5PJJatWsoLSDCIETHVTzC +ck5ek3rT0hW/xlWBl7C8 +=s2Wr -----END PGP SIGNATURE----- |