summaryrefslogtreecommitdiff
path: root/sci-mathematics/why3-for-spark/Manifest
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2017-11-26 11:42:28 +0000
committerV3n3RiX <venerix@redcorelinux.org>2017-11-26 11:42:28 +0000
commit89c6c06b8c42107dd231687a1012354e7d3039fc (patch)
treedad94f4da8a6694f3cb99f7048be2f9cf5f78f97 /sci-mathematics/why3-for-spark/Manifest
parent796cae72cf9ed18ba01256ac1f83a686a2a76036 (diff)
gentoo resync : 26.11.2017
Diffstat (limited to 'sci-mathematics/why3-for-spark/Manifest')
-rw-r--r--sci-mathematics/why3-for-spark/Manifest6
1 files changed, 3 insertions, 3 deletions
diff --git a/sci-mathematics/why3-for-spark/Manifest b/sci-mathematics/why3-for-spark/Manifest
index 3bc4c233aa76..8d1e172bbd8b 100644
--- a/sci-mathematics/why3-for-spark/Manifest
+++ b/sci-mathematics/why3-for-spark/Manifest
@@ -1,4 +1,4 @@
-AUX why3-for-spark-2017-gentoo.patch 1300 SHA256 d96d6043d0c4e103ea7a35bf98daa40ef05417e94833fe6d07524a27d7af66ee SHA512 7ec992b1d0f0f285903b69876b853a8d368c73f4ed3dfccc25f5ae18e72e0c6f71ce9b81e18f2a685d19a7bfa8e69571cb71d4faa5ec67e0fbf2231202c2ea3d WHIRLPOOL 87256925a66ce0f4829fca043657c4804f0293493770904c2492174107a764a0a06ff73b87e2ded72334222cc9def467e50e45e59eea43cd9b7f2539b956dbdc
+AUX why3-for-spark-2017-gentoo.patch 1300 BLAKE2B 616ed7cf1d5c8494a0b9f724ef1b011ad51e9f7edfb8bc88892902ad0cdc23793c8f8cd0e491757be08d90cb1159878d8bd3a34e1ebba62c927b9f676f58c241 SHA512 7ec992b1d0f0f285903b69876b853a8d368c73f4ed3dfccc25f5ae18e72e0c6f71ce9b81e18f2a685d19a7bfa8e69571cb71d4faa5ec67e0fbf2231202c2ea3d
DIST why3-for-spark-gpl-2017-src.tar.gz 9248235 SHA256 7e7aee3912421847c416bc1f066ac342e811601c29d7b69e98e789a59a724d8e SHA512 8f444402f6c1744cd7c565117732935791b1ae7996a94314c40a66d125eae8a81f2257314246c94fd29d3cd16abcff6a50a152a1191a4aae39a2c8a8d7c3b9e1 WHIRLPOOL 256648567b3a220f762c7e30d0f90265fd10af21b66c3607b9072e81444b0a33dc971126232e11f3edc64eac2598fbd3ad428d063f2c9db8d247be2abe5be904
-EBUILD why3-for-spark-2017.ebuild 1936 SHA256 d2314f24b38e9b3677ef7d6298ebf76ec93e3bd97fb3cefa7d3e5916b6112556 SHA512 b92abe2231e661b256d8b6607458d01ebac30236f723e472f88adcacee917feb8d56d129328ec0875fca52778dfaeaecab62d73443c8de37012b18aef5a38aed WHIRLPOOL affa6f454df4764fe880b9186084fb81f6509a3712503ffd68aaec1164b129c63bab7c82998be8ad43146b3d771a7771bd2cdc3ec94b5d9ec27fa3308cbca652
-MISC metadata.xml 1363 SHA256 013b66bd8ddb397a162291f83ed6744ea78521b89ed4014f67ad7f794aa2a3d5 SHA512 ee8323cc37fdea800e355fc14ba67cac66c3ec3c41528d481a7e938b1d3e23859bdddfb06d3b6653725cdcfcc0d07e66ba1d3cc80b3637a781db7bab5f7dc677 WHIRLPOOL f0804ec3311720be99db48f0839ee7269a4aba8ea6c07ea8abb69591c281fca7719b565694f47c43797debcafe65d19005674a1e53e13a8c9701257f50333bf8
+EBUILD why3-for-spark-2017.ebuild 1936 BLAKE2B 6240a4d731d81817b8ab6ed55ffdb2863a1996043ddf5400452c601244d9bc995283ef84a6364c73f2f97405ed87347a3e06107a2c482d31c8d48f77810fcd59 SHA512 b92abe2231e661b256d8b6607458d01ebac30236f723e472f88adcacee917feb8d56d129328ec0875fca52778dfaeaecab62d73443c8de37012b18aef5a38aed
+MISC metadata.xml 1363 BLAKE2B 820bfc974ca6984f78340f223f8f19d12f0313016118110a35cfe149129c2dc189d6f03f34bf3d30c9d3e5d9c9ab90bba33dca4320c034821a7a89f97b92a7f9 SHA512 ee8323cc37fdea800e355fc14ba67cac66c3ec3c41528d481a7e938b1d3e23859bdddfb06d3b6653725cdcfcc0d07e66ba1d3cc80b3637a781db7bab5f7dc677