gentoo resync : 27.03.2018

5 files changed, 3 insertions, 30 deletions

diff --git a/metadata/md5-cache/sci-mathematics/Manifest.gz b/metadata/md5-cache/sci-mathematics/Manifest.gz
index 9259d9143b5b..89756f6d77ed 100644
--- a/metadata/md5-cache/sci-mathematics/Manifest.gz
+++ b/metadata/md5-cache/sci-mathematics/Manifest.gz
diff --git a/metadata/md5-cache/sci-mathematics/fricas-1.3.0-r1 b/metadata/md5-cache/sci-mathematics/fricas-1.3.0-r1
deleted file mode 100644
index 0f64a7f1fc83..000000000000
--- a/metadata/md5-cache/sci-mathematics/fricas-1.3.0-r1
+++ /dev/null
@@ -1,14 +0,0 @@
-DEFINED_PHASES=compile configure install postinst postrm test
-DEPEND=X? ( x11-libs/libXpm x11-libs/libICE ) emacs? ( virtual/emacs ) gmp? ( dev-libs/gmp:= ) clozurecl? ( dev-lisp/clozurecl:= ) !clozurecl? ( clisp? ( dev-lisp/clisp:= ) !clisp? ( ecls? ( dev-lisp/ecls:= ) !ecls? ( gcl? ( dev-lisp/gcl:= ) !gcl? ( cmucl? ( dev-lisp/cmucl:= ) !cmucl? ( >=dev-lisp/sbcl-1.3.6:= <dev-lisp/sbcl-1.3.13:= ) ) ) ) )
-DESCRIPTION=FriCAS is a fork of Axiom computer algebra system
-EAPI=5
-HOMEPAGE=http://fricas.sourceforge.net/
-IUSE=sbcl cmucl gcl ecls clisp clozurecl X emacs gmp
-KEYWORDS=~amd64 ~x86
-LICENSE=BSD-2
-RDEPEND=X? ( x11-libs/libXpm x11-libs/libICE ) emacs? ( virtual/emacs ) gmp? ( dev-libs/gmp:= ) clozurecl? ( dev-lisp/clozurecl:= ) !clozurecl? ( clisp? ( dev-lisp/clisp:= ) !clisp? ( ecls? ( dev-lisp/ecls:= ) !ecls? ( gcl? ( dev-lisp/gcl:= ) !gcl? ( cmucl? ( dev-lisp/cmucl:= ) !cmucl? ( >=dev-lisp/sbcl-1.3.6:= <dev-lisp/sbcl-1.3.13:= ) ) ) ) )
-RESTRICT=strip
-SLOT=0
-SRC_URI=mirror://sourceforge/fricas/fricas-1.3.0-full.tar.bz2
-_eclasses_=elisp-common	23f47b2e1de7abf387105eddd1318738	multilib	97f470f374f2e94ccab04a2fb21d811e	toolchain-funcs	885c7d8dd70a58825f3d17e35a3cd1e9
-_md5_=6fd3b8126bea744f9c3ac0a50502702d
diff --git a/metadata/md5-cache/sci-mathematics/fricas-1.3.1 b/metadata/md5-cache/sci-mathematics/fricas-1.3.1
deleted file mode 100644
index 7f68df9311cb..000000000000
--- a/metadata/md5-cache/sci-mathematics/fricas-1.3.1
+++ /dev/null
@@ -1,14 +0,0 @@
-DEFINED_PHASES=compile configure install postinst postrm test
-DEPEND=X? ( x11-libs/libXpm x11-libs/libICE ) emacs? ( virtual/emacs ) gmp? ( dev-libs/gmp:= ) clozurecl? ( dev-lisp/clozurecl:= ) !clozurecl? ( clisp? ( dev-lisp/clisp:= ) !clisp? ( ecls? ( dev-lisp/ecls:= ) !ecls? ( gcl? ( dev-lisp/gcl:= ) !gcl? ( cmucl? ( dev-lisp/cmucl:= ) !cmucl? ( dev-lisp/sbcl:= ) ) ) ) )
-DESCRIPTION=FriCAS is a fork of Axiom computer algebra system
-EAPI=5
-HOMEPAGE=http://fricas.sourceforge.net/
-IUSE=sbcl cmucl gcl ecls clisp clozurecl X emacs gmp
-KEYWORDS=~amd64 ~x86
-LICENSE=BSD-2
-RDEPEND=X? ( x11-libs/libXpm x11-libs/libICE ) emacs? ( virtual/emacs ) gmp? ( dev-libs/gmp:= ) clozurecl? ( dev-lisp/clozurecl:= ) !clozurecl? ( clisp? ( dev-lisp/clisp:= ) !clisp? ( ecls? ( dev-lisp/ecls:= ) !ecls? ( gcl? ( dev-lisp/gcl:= ) !gcl? ( cmucl? ( dev-lisp/cmucl:= ) !cmucl? ( dev-lisp/sbcl:= ) ) ) ) )
-RESTRICT=strip
-SLOT=0
-SRC_URI=mirror://sourceforge/fricas/fricas-1.3.1-full.tar.bz2
-_eclasses_=elisp-common	23f47b2e1de7abf387105eddd1318738	multilib	97f470f374f2e94ccab04a2fb21d811e	toolchain-funcs	885c7d8dd70a58825f3d17e35a3cd1e9
-_md5_=a5993627eec82e80689a726819d7e548
diff --git a/metadata/md5-cache/sci-mathematics/fricas-1.3.3 b/metadata/md5-cache/sci-mathematics/fricas-1.3.3
index e89b0bd746aa..a0fd15bede03 100644
--- a/metadata/md5-cache/sci-mathematics/fricas-1.3.3
+++ b/metadata/md5-cache/sci-mathematics/fricas-1.3.3
@@ -11,4 +11,4 @@ RESTRICT=strip
 SLOT=0
 SRC_URI=mirror://sourceforge/fricas/fricas-1.3.3-full.tar.bz2
 _eclasses_=elisp-common	23f47b2e1de7abf387105eddd1318738	multilib	97f470f374f2e94ccab04a2fb21d811e	toolchain-funcs	885c7d8dd70a58825f3d17e35a3cd1e9
-_md5_=bc4e9c1669008398df0574292b4ef612
+_md5_=31fe5af51b087f6d16b3da60ddd8bd9d
diff --git a/metadata/md5-cache/sci-mathematics/why3-for-spark-2017 b/metadata/md5-cache/sci-mathematics/why3-for-spark-2017
index 861da227bbe7..0f017ead6e52 100644
--- a/metadata/md5-cache/sci-mathematics/why3-for-spark-2017
+++ b/metadata/md5-cache/sci-mathematics/why3-for-spark-2017
@@ -8,7 +8,8 @@ KEYWORDS=~amd64
 LICENSE=GPL-3
 RDEPEND=>=dev-lang/ocaml-4.02.3[ocamlopt?] dev-ml/menhir coq? ( sci-mathematics/coq ) doc? ( dev-tex/rubber ) gtk? ( dev-ml/lablgtk[sourceview] ) emacs? ( app-editors/emacs:* ) html? ( dev-tex/hevea ) hypothesis-selection? ( dev-ml/ocamlgraph ) zarith? ( dev-ml/zarith ) zip? ( >=dev-ml/camlzip-1.07 )
 REQUIRED_USE=html? ( doc )
+RESTRICT=strip
 SLOT=0
 SRC_URI=http://mirrors.cdn.adacore.com/art/591c45e2c7a447af2deed055 -> why3-for-spark-gpl-2017-src.tar.gz
 _eclasses_=autotools	4842e626555a9a4344f34cef2e190b67	libtool	0081a71a261724730ec4c248494f044d	multilib	97f470f374f2e94ccab04a2fb21d811e	toolchain-funcs	885c7d8dd70a58825f3d17e35a3cd1e9
-_md5_=d604f783eb4f384bd083da8a0072addb
+_md5_=c6edcb2b36d5403551c7413d1403f075