diff options
| author |   Alexis Ballier <aballier@gentoo.org> | 2014-11-28 19:11:15 +0000 |
|---|---|---|
| committer | Alexis Ballier <aballier@gentoo.org> | 2014-11-28 19:11:15 +0000 |
| commit | e6533c1147875f3de2eb0ffdd87f2017675066fe (patch) | |
| tree | 5617d5ca9adbefcf444673537e86ee8ae8560720 /sci-mathematics | |
| parent | update deps for ocaml 4.02 (diff) | |
| download | gentoo-2-e6533c1147875f3de2eb0ffdd87f2017675066fe.tar.gz gentoo-2-e6533c1147875f3de2eb0ffdd87f2017675066fe.tar.bz2 gentoo-2-e6533c1147875f3de2eb0ffdd87f2017675066fe.zip | |
update deps for ocaml 4.02
Signed-off-by: aballier@gentoo.org
(Portage version: 2.2.14/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/coq/Manifest | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest index f371519fd8dd..48b9fdb55d2b 100644 --- a/sci-mathematics/coq/Manifest +++ b/sci-mathematics/coq/Manifest @@ -12,13 +12,13 @@ EBUILD coq-8.3_p1.ebuild 2129 SHA256 111ec6cb5612ecf95164515314840dcf562b606b088 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 -EBUILD coq-8.4_p5.ebuild 2183 SHA256 f3c36d523992b5126dfd791b42eda417505d8554879acf13f9b4e2eb407f0c8a SHA512 6e5537efc7177b603af1fd2feb945de69c41f480b8243eb910da115fc47cad4bec602278ed5504b179d6c64df63dd98121c9bd1da6eccc1c3a0829c24817bafb WHIRLPOOL 896119249f2b9da238e904d185d67a3286335695ada1a31db7ff32ee570d75103b3fdb4c8241ab702a7f9a03fd94cd8d813a5814a7ef7c01264c50c90da6f11d -MISC ChangeLog 13576 SHA256 6761ac7e847a467f5e299426814a118b0513d993968005699615b7b6bb4d68ec SHA512 1ad84c733564249af9036894d0228d7a8f044a66dafd0973be921d6b16c66dccee40ce12f46ecb8b8941d1304ba11962323bc98c051b29e4924eecc6a571d463 WHIRLPOOL 4ec52cdbcda09ecede502b58875528d73b64df5d088ab8c6d0bd87d7b466b9eb97bca57f4bb3b65556af7cfdb1db738cfc031a0c38510371309e91254705e310 +EBUILD coq-8.4_p5.ebuild 2245 SHA256 6248717b6cea855c11e8c823b0f90b68e5878697de2da473428f1a2e42c105ff SHA512 3c9a996f8cef2e214f7aca2fb14d845b0bd52dafbd4c242a9365b085b96380a1f23588f0c78547f3914081fbf2773b551071377e5f1bae017754f18e55fa5c1e WHIRLPOOL 345a6f9d77d2b80ccf8e89c16a724a801105c6c0593851bcfec4d24b182346e02b184eadb7f5629216ac1bf02f667fb343f92e74110ee0db1640dd7be33921cb +MISC ChangeLog 13679 SHA256 cdaaa3bfba2279e2c35f0db45afa0e1594fa48babfa055f65ea94a54a3b9fa9f SHA512 f6afd31042c9e3e82b21c863ecd07bcec07702878c7bade13ef024168279abe46bbd63711f9ca4aecfbe6538fbad04bab749cc761fdf2e329754bfcbf1b389d0 WHIRLPOOL bf590b73a1a45b6378362d2d8a6d7959d9ecc04165c81e553308295dbd083c98bfab0a69ebe41fcba424a492d67e93bf4ae5dfb157ddff0c885ac38a774c1d62 MISC metadata.xml 912 SHA256 004efe7e4a2a780d79f709c74ceb3477407b1f0120218eaf7b11e3d82cb67b65 SHA512 b0720691e44431b8060bd2fd5870147f68c9d4d887b46e667661c034f4efdecb638cd80ea6efd474c231ab342d9e708a522075a38c0de5f1a49040af2865ff2a WHIRLPOOL 05fce40010254b116541116a9851984382accbf5b9660696887857224aa45265d51ac64f8780a6224fa071eebc15efd04f85c2008b856741b291483d5a8c5666 -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 -iF4EAREIAAYFAlRW2fcACgkQoBEVQmGOlx9/7gD/d9xP3CFY3ctstrBxuGTDZzm7 -VmXY460l00mQpKIgzdgBAJK5kjWQ94S71reu47ERJEgCuaPMOnzhiP398YTSQz8M -=TMXF +iEYEAREIAAYFAlR4yNAACgkQvFcC4BYPU0rcGQCgwc8bfxm5vxXtYq7Fy8I7OQT/ +AToAoM19wyvmMOzACR+mSkLl/46AuMTK +=ceVM -----END PGP SIGNATURE----- |