summaryrefslogtreecommitdiff
path: root/metadata/md5-cache/sci-mathematics
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2021-09-25 20:21:45 +0100
committerV3n3RiX <venerix@redcorelinux.org>2021-09-25 20:21:45 +0100
commitc719fdcee603a5a706a45d10cb598762d56a727d (patch)
tree620cbf137661399a3fb1eff92914204f9a970713 /metadata/md5-cache/sci-mathematics
parentcc4618c9ba3d974948ebf340b542d8cb01db2f55 (diff)
gentoo resync : 25.09.2021
Diffstat (limited to 'metadata/md5-cache/sci-mathematics')
-rw-r--r--metadata/md5-cache/sci-mathematics/Manifest.gzbin22325 -> 22162 bytes
-rw-r--r--metadata/md5-cache/sci-mathematics/gimps-30.3.62
-rw-r--r--metadata/md5-cache/sci-mathematics/gimps-30.5.22
-rw-r--r--metadata/md5-cache/sci-mathematics/gimps-30.6.42
-rw-r--r--metadata/md5-cache/sci-mathematics/octave-5.2.02
-rw-r--r--metadata/md5-cache/sci-mathematics/octave-6.2.02
-rw-r--r--metadata/md5-cache/sci-mathematics/pari-2.13.1-r115
-rw-r--r--metadata/md5-cache/sci-mathematics/pari-2.13.2 (renamed from metadata/md5-cache/sci-mathematics/pari-2.13.0)2
-rw-r--r--metadata/md5-cache/sci-mathematics/rstudio-1.3.1093-r12
-rw-r--r--metadata/md5-cache/sci-mathematics/why3-for-spark-20185
10 files changed, 9 insertions, 25 deletions
diff --git a/metadata/md5-cache/sci-mathematics/Manifest.gz b/metadata/md5-cache/sci-mathematics/Manifest.gz
index 9d6f8a85610e..72ff3dee167b 100644
--- a/metadata/md5-cache/sci-mathematics/Manifest.gz
+++ b/metadata/md5-cache/sci-mathematics/Manifest.gz
Binary files differ
diff --git a/metadata/md5-cache/sci-mathematics/gimps-30.3.6 b/metadata/md5-cache/sci-mathematics/gimps-30.3.6
index 85d9fda98e34..8675e899d638 100644
--- a/metadata/md5-cache/sci-mathematics/gimps-30.3.6
+++ b/metadata/md5-cache/sci-mathematics/gimps-30.3.6
@@ -9,5 +9,5 @@ RDEPEND=net-misc/curl >=dev-libs/gmp-6.1.2 virtual/tmpfiles
RESTRICT=mirror bindist
SLOT=0
SRC_URI=amd64? ( https://www.mersenne.org/ftp_root/gimps/p95v303b6.linux64.tar.gz ) x86? ( https://www.mersenne.org/ftp_root/gimps/p95v303b6.linux32.tar.gz )
-_eclasses_=multilib 4b66d835ec72e021e359bb81eacfe988 pax-utils fce6ad998516159787b92e8043167889 readme.gentoo-r1 c9646d622541c023f5159b86a14e930c systemd c846b9e02ac8293bfc9ca38a195c2a18 tmpfiles 5cd6e8cf3288d5b19ff8b5c78c7e3e31 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa
+_eclasses_=multilib 4b66d835ec72e021e359bb81eacfe988 pax-utils fce6ad998516159787b92e8043167889 readme.gentoo-r1 c9646d622541c023f5159b86a14e930c systemd 2736b403a83f194b59b767f3b344c2c1 tmpfiles 5cd6e8cf3288d5b19ff8b5c78c7e3e31 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa
_md5_=d4a593534e55ad4d6af15b11154bece2
diff --git a/metadata/md5-cache/sci-mathematics/gimps-30.5.2 b/metadata/md5-cache/sci-mathematics/gimps-30.5.2
index 605b0e24940e..479fea690337 100644
--- a/metadata/md5-cache/sci-mathematics/gimps-30.5.2
+++ b/metadata/md5-cache/sci-mathematics/gimps-30.5.2
@@ -9,5 +9,5 @@ RDEPEND=net-misc/curl >=dev-libs/gmp-6.1.2 virtual/tmpfiles
RESTRICT=mirror bindist
SLOT=0
SRC_URI=amd64? ( https://www.mersenne.org/ftp_root/gimps/p95v305b2.linux64.tar.gz ) x86? ( https://www.mersenne.org/ftp_root/gimps/p95v305b2.linux32.tar.gz )
-_eclasses_=multilib 4b66d835ec72e021e359bb81eacfe988 pax-utils fce6ad998516159787b92e8043167889 readme.gentoo-r1 c9646d622541c023f5159b86a14e930c systemd c846b9e02ac8293bfc9ca38a195c2a18 tmpfiles 5cd6e8cf3288d5b19ff8b5c78c7e3e31 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa
+_eclasses_=multilib 4b66d835ec72e021e359bb81eacfe988 pax-utils fce6ad998516159787b92e8043167889 readme.gentoo-r1 c9646d622541c023f5159b86a14e930c systemd 2736b403a83f194b59b767f3b344c2c1 tmpfiles 5cd6e8cf3288d5b19ff8b5c78c7e3e31 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa
_md5_=fc196d74cce6b501e862f34761df2725
diff --git a/metadata/md5-cache/sci-mathematics/gimps-30.6.4 b/metadata/md5-cache/sci-mathematics/gimps-30.6.4
index e7835f5d2b7a..3bdefabb964a 100644
--- a/metadata/md5-cache/sci-mathematics/gimps-30.6.4
+++ b/metadata/md5-cache/sci-mathematics/gimps-30.6.4
@@ -9,5 +9,5 @@ RDEPEND=net-misc/curl >=dev-libs/gmp-6.1.2 virtual/tmpfiles
RESTRICT=mirror bindist
SLOT=0
SRC_URI=amd64? ( https://www.mersenne.org/ftp_root/gimps/p95v306b4.linux64.tar.gz -> gimps-30.6.4.linux64.tar.gz )
-_eclasses_=multilib 4b66d835ec72e021e359bb81eacfe988 pax-utils fce6ad998516159787b92e8043167889 readme.gentoo-r1 c9646d622541c023f5159b86a14e930c systemd c846b9e02ac8293bfc9ca38a195c2a18 tmpfiles 5cd6e8cf3288d5b19ff8b5c78c7e3e31 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa
+_eclasses_=multilib 4b66d835ec72e021e359bb81eacfe988 pax-utils fce6ad998516159787b92e8043167889 readme.gentoo-r1 c9646d622541c023f5159b86a14e930c systemd 2736b403a83f194b59b767f3b344c2c1 tmpfiles 5cd6e8cf3288d5b19ff8b5c78c7e3e31 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa
_md5_=fa502a8d23a582fbd32a485a2943a1f0
diff --git a/metadata/md5-cache/sci-mathematics/octave-5.2.0 b/metadata/md5-cache/sci-mathematics/octave-5.2.0
index 6548cb4d6466..d4abe90ab8c4 100644
--- a/metadata/md5-cache/sci-mathematics/octave-5.2.0
+++ b/metadata/md5-cache/sci-mathematics/octave-5.2.0
@@ -9,5 +9,5 @@ LICENSE=GPL-3
RDEPEND=app-arch/bzip2 app-text/ghostscript-gpl dev-libs/libpcre:3= sys-libs/ncurses:0= sys-libs/zlib virtual/blas virtual/lapack curl? ( net-misc/curl:0= ) fftw? ( sci-libs/fftw:3.0= ) glpk? ( sci-mathematics/glpk:0= ) gnuplot? ( sci-visualization/gnuplot ) gui? ( dev-qt/qtcore:5 dev-qt/qtgui:5 dev-qt/qthelp:5 dev-qt/qtnetwork:5 dev-qt/qtopengl:5 dev-qt/qtprintsupport:5 dev-qt/qtwidgets:5 x11-libs/qscintilla:= ) hdf5? ( sci-libs/hdf5:0= ) java? ( >=virtual/jre-1.6.0:* ) opengl? ( media-libs/freetype:2= media-libs/fontconfig:1.0= virtual/glu >=x11-libs/fltk-1.3:1=[opengl,xft] x11-libs/gl2ps:0= ) ssl? ( dev-libs/openssl:0= ) portaudio? ( media-libs/portaudio ) postscript? ( app-text/epstool media-gfx/pstoedit media-gfx/transfig ) qhull? ( media-libs/qhull:0= ) qrupdate? ( sci-libs/qrupdate:0= ) readline? ( sys-libs/readline:0= ) sndfile? ( media-libs/libsndfile ) sparse? ( sci-libs/arpack:0= sci-libs/camd:0= sci-libs/ccolamd:0= sci-libs/cholmod:0= sci-libs/colamd:0= sci-libs/cxsparse:0= sci-libs/umfpack:0= ) X? ( x11-libs/libX11:0= ) virtual/fortran java? ( >=dev-java/java-config-2.2.0-r3 )
SLOT=0/5.2.0
SRC_URI=mirror://gnu/octave/octave-5.2.0.tar.gz
-_eclasses_=autotools c7052b276346587968d52ea8eaf5aca1 desktop c0d27bf73aa08ca05b663dbd31fbef28 eapi7-ver 1a0a60ad07c8b32d2faba2d085dc0f24 edos2unix 33e347e171066657f91f8b0c72ec8773 epatch 9f813bb3c47cf2e60619a663b87c5f4e estack 055c42df72f76a4f45ec92b35e83cd56 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic 4134b5c0fb719b9161d10bdaba9e09e5 fortran-2 7e39eb204d37699d5f1eaf9f4d61888a gnome2-utils 355c758ccc0d6df60d43a066640e642c gnuconfig 262062cef0ba4f22b397193da514a350 java-pkg-opt-2 bf35c60a54945228d5d4cb3a5cc17f5a java-utils-2 ac9fb9efa5413c5fb85a4203fe930e88 libtool 241a8f577b9781a42a7421e53448a44e ltprune 4f3f2db5ce3ccbeeacdf3f94954043aa multilib 4b66d835ec72e021e359bb81eacfe988 pax-utils fce6ad998516159787b92e8043167889 preserve-libs dbc9f8d2d49c66467bc327fddd8317bd strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa vcs-clean b690a7e9b6c497cf59326a7545df4283 versionator d3fb3ba33acc3bbbdc4d7970227c100d wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 27f9a2f19502b925ac117bd657aa2979
+_eclasses_=autotools c7052b276346587968d52ea8eaf5aca1 desktop c0d27bf73aa08ca05b663dbd31fbef28 eapi7-ver 1a0a60ad07c8b32d2faba2d085dc0f24 edos2unix 33e347e171066657f91f8b0c72ec8773 epatch 9f813bb3c47cf2e60619a663b87c5f4e estack 055c42df72f76a4f45ec92b35e83cd56 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic 4134b5c0fb719b9161d10bdaba9e09e5 fortran-2 7e39eb204d37699d5f1eaf9f4d61888a gnome2-utils 355c758ccc0d6df60d43a066640e642c gnuconfig 262062cef0ba4f22b397193da514a350 java-pkg-opt-2 bf35c60a54945228d5d4cb3a5cc17f5a java-utils-2 8a3af9303fdbeca4510a6ba6e91b1460 libtool 241a8f577b9781a42a7421e53448a44e ltprune 4f3f2db5ce3ccbeeacdf3f94954043aa multilib 4b66d835ec72e021e359bb81eacfe988 pax-utils fce6ad998516159787b92e8043167889 preserve-libs dbc9f8d2d49c66467bc327fddd8317bd strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa vcs-clean b690a7e9b6c497cf59326a7545df4283 versionator d3fb3ba33acc3bbbdc4d7970227c100d wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 27f9a2f19502b925ac117bd657aa2979
_md5_=d1aaea16a861d05eeb512171b226f8a2
diff --git a/metadata/md5-cache/sci-mathematics/octave-6.2.0 b/metadata/md5-cache/sci-mathematics/octave-6.2.0
index a1a5db48093b..677e8aa556e7 100644
--- a/metadata/md5-cache/sci-mathematics/octave-6.2.0
+++ b/metadata/md5-cache/sci-mathematics/octave-6.2.0
@@ -9,5 +9,5 @@ LICENSE=GPL-3
RDEPEND=app-arch/bzip2 app-text/ghostscript-gpl sys-apps/texinfo dev-libs/libpcre:3= sys-libs/ncurses:0= sys-libs/zlib virtual/blas virtual/lapack curl? ( net-misc/curl:0= ) fftw? ( sci-libs/fftw:3.0= ) glpk? ( sci-mathematics/glpk:0= ) gnuplot? ( sci-visualization/gnuplot ) gui? ( dev-qt/qtcore:5 dev-qt/qtgui:5 dev-qt/qthelp:5 dev-qt/qtnetwork:5 dev-qt/qtopengl:5 dev-qt/qtprintsupport:5 dev-qt/qtwidgets:5 x11-libs/qscintilla:= ) hdf5? ( sci-libs/hdf5:0= ) java? ( >=virtual/jre-1.6.0:* ) opengl? ( media-libs/freetype:2= media-libs/fontconfig:1.0= virtual/glu >=x11-libs/fltk-1.3:1=[opengl,xft] x11-libs/gl2ps:0= ) portaudio? ( media-libs/portaudio ) postscript? ( app-text/epstool media-gfx/pstoedit media-gfx/transfig ) qhull? ( media-libs/qhull:0= ) qrupdate? ( sci-libs/qrupdate:0= ) readline? ( sys-libs/readline:0= ) sndfile? ( media-libs/libsndfile ) sparse? ( sci-libs/arpack:0= sci-libs/camd:0= sci-libs/ccolamd:0= sci-libs/cholmod:0= sci-libs/colamd:0= sci-libs/cxsparse:0= sci-libs/umfpack:0= ) ssl? ( dev-libs/openssl:0= ) sundials? ( >=sci-libs/sundials-4:0= ) X? ( x11-libs/libX11:0= ) virtual/fortran java? ( >=dev-java/java-config-2.2.0-r3 )
SLOT=0/6.2.0
SRC_URI=mirror://gnu/octave/octave-6.2.0.tar.gz
-_eclasses_=autotools c7052b276346587968d52ea8eaf5aca1 desktop c0d27bf73aa08ca05b663dbd31fbef28 eapi7-ver 1a0a60ad07c8b32d2faba2d085dc0f24 edos2unix 33e347e171066657f91f8b0c72ec8773 epatch 9f813bb3c47cf2e60619a663b87c5f4e estack 055c42df72f76a4f45ec92b35e83cd56 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic 4134b5c0fb719b9161d10bdaba9e09e5 fortran-2 7e39eb204d37699d5f1eaf9f4d61888a gnome2-utils 355c758ccc0d6df60d43a066640e642c gnuconfig 262062cef0ba4f22b397193da514a350 java-pkg-opt-2 bf35c60a54945228d5d4cb3a5cc17f5a java-utils-2 ac9fb9efa5413c5fb85a4203fe930e88 libtool 241a8f577b9781a42a7421e53448a44e ltprune 4f3f2db5ce3ccbeeacdf3f94954043aa multilib 4b66d835ec72e021e359bb81eacfe988 pax-utils fce6ad998516159787b92e8043167889 preserve-libs dbc9f8d2d49c66467bc327fddd8317bd strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa vcs-clean b690a7e9b6c497cf59326a7545df4283 versionator d3fb3ba33acc3bbbdc4d7970227c100d wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 27f9a2f19502b925ac117bd657aa2979
+_eclasses_=autotools c7052b276346587968d52ea8eaf5aca1 desktop c0d27bf73aa08ca05b663dbd31fbef28 eapi7-ver 1a0a60ad07c8b32d2faba2d085dc0f24 edos2unix 33e347e171066657f91f8b0c72ec8773 epatch 9f813bb3c47cf2e60619a663b87c5f4e estack 055c42df72f76a4f45ec92b35e83cd56 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic 4134b5c0fb719b9161d10bdaba9e09e5 fortran-2 7e39eb204d37699d5f1eaf9f4d61888a gnome2-utils 355c758ccc0d6df60d43a066640e642c gnuconfig 262062cef0ba4f22b397193da514a350 java-pkg-opt-2 bf35c60a54945228d5d4cb3a5cc17f5a java-utils-2 8a3af9303fdbeca4510a6ba6e91b1460 libtool 241a8f577b9781a42a7421e53448a44e ltprune 4f3f2db5ce3ccbeeacdf3f94954043aa multilib 4b66d835ec72e021e359bb81eacfe988 pax-utils fce6ad998516159787b92e8043167889 preserve-libs dbc9f8d2d49c66467bc327fddd8317bd strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa vcs-clean b690a7e9b6c497cf59326a7545df4283 versionator d3fb3ba33acc3bbbdc4d7970227c100d wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 27f9a2f19502b925ac117bd657aa2979
_md5_=c50536018afd3f3d56f14bbb2b2bd39a
diff --git a/metadata/md5-cache/sci-mathematics/pari-2.13.1-r1 b/metadata/md5-cache/sci-mathematics/pari-2.13.1-r1
deleted file mode 100644
index 14f5591e7cb4..000000000000
--- a/metadata/md5-cache/sci-mathematics/pari-2.13.1-r1
+++ /dev/null
@@ -1,15 +0,0 @@
-BDEPEND=virtual/pkgconfig doc? ( virtual/latex-base )
-DEFINED_PHASES=compile configure install prepare test
-DEPEND=sys-libs/readline:0= data? ( sci-mathematics/pari-data ) doc? ( X? ( x11-misc/xdg-utils ) ) fltk? ( x11-libs/fltk:1= ) gmp? ( dev-libs/gmp:0= ) X? ( x11-libs/libX11:0= )
-DESCRIPTION=Computer-aided number theory C library and tools
-EAPI=7
-HOMEPAGE=https://pari.math.u-bordeaux.fr/
-IUSE=data doc fltk gmp test threads X
-KEYWORDS=~alpha ~amd64 ~arm ~hppa ~mips ~ppc ~ppc64 ~sparc ~x86 ~amd64-linux ~x86-linux
-LICENSE=GPL-2
-RDEPEND=sys-libs/readline:0= data? ( sci-mathematics/pari-data ) doc? ( X? ( x11-misc/xdg-utils ) ) fltk? ( x11-libs/fltk:1= ) gmp? ( dev-libs/gmp:0= ) X? ( x11-libs/libX11:0= )
-RESTRICT=!test? ( test )
-SLOT=0/7
-SRC_URI=https://pari.math.u-bordeaux.fr/pub/pari/unix/pari-2.13.1.tar.gz
-_eclasses_=edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic 4134b5c0fb719b9161d10bdaba9e09e5 multilib 4b66d835ec72e021e359bb81eacfe988 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa wrapper 4251d4c84c25f59094fd557e0063a974
-_md5_=c8c2a28d404f17a922ca00833cf921fb
diff --git a/metadata/md5-cache/sci-mathematics/pari-2.13.0 b/metadata/md5-cache/sci-mathematics/pari-2.13.2
index d8b20b95c7ed..6b5128af2b94 100644
--- a/metadata/md5-cache/sci-mathematics/pari-2.13.0
+++ b/metadata/md5-cache/sci-mathematics/pari-2.13.2
@@ -10,6 +10,6 @@ LICENSE=GPL-2
RDEPEND=sys-libs/readline:0= data? ( sci-mathematics/pari-data ) doc? ( X? ( x11-misc/xdg-utils ) ) fltk? ( x11-libs/fltk:1= ) gmp? ( dev-libs/gmp:0= ) X? ( x11-libs/libX11:0= )
RESTRICT=!test? ( test )
SLOT=0/7
-SRC_URI=https://pari.math.u-bordeaux.fr/pub/pari/unix/pari-2.13.0.tar.gz
+SRC_URI=https://pari.math.u-bordeaux.fr/pub/pari/unix/pari-2.13.2.tar.gz
_eclasses_=edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic 4134b5c0fb719b9161d10bdaba9e09e5 multilib 4b66d835ec72e021e359bb81eacfe988 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa wrapper 4251d4c84c25f59094fd557e0063a974
_md5_=84fd55483e7e826cb7aea993f931a7c3
diff --git a/metadata/md5-cache/sci-mathematics/rstudio-1.3.1093-r1 b/metadata/md5-cache/sci-mathematics/rstudio-1.3.1093-r1
index 865f2e012c57..994c06c5d80e 100644
--- a/metadata/md5-cache/sci-mathematics/rstudio-1.3.1093-r1
+++ b/metadata/md5-cache/sci-mathematics/rstudio-1.3.1093-r1
@@ -10,5 +10,5 @@ LICENSE=AGPL-3
RDEPEND=>=app-text/pandoc-2.9.2.1 dev-java/aopalliance:1 dev-java/gin:2.1 dev-java/javax-inject =dev-java/validation-api-1.0*:1.0[source] dev-haskell/pandoc-citeproc dev-lang/R dev-libs/boost:= >=dev-libs/mathjax-2.7.4 sys-apps/util-linux sys-devel/clang:* sys-libs/zlib >=virtual/jre-1.8:= x11-libs/pango !dedicated? ( >=dev-qt/qtcore-5.12.6:5 >=dev-qt/qtdeclarative-5.12.6:5 >=dev-qt/qtdbus-5.12.6:5 >=dev-qt/qtgui-5.12.6:5 >=dev-qt/qtnetwork-5.12.6:5 >=dev-qt/qtopengl-5.12.6:5 >=dev-qt/qtpositioning-5.12.6:5 >=dev-qt/qtprintsupport-5.12.6:5 >=dev-qt/qtsingleapplication-2.6.1_p20150629[X,qt5(+)] >=dev-qt/qtsensors-5.12.6:5 >=dev-qt/qtsql-5.12.6:5 >=dev-qt/qtsvg-5.12.6:5 >=dev-qt/qtwebchannel-5.12.6:5 >=dev-qt/qtwebengine-5.12.6:5[widgets] >=dev-qt/qtwidgets-5.12.6:5 >=dev-qt/qtxml-5.12.6:5 >=dev-qt/qtxmlpatterns-5.12.6:5 server? ( sys-libs/pam ) ) dedicated? ( sys-libs/pam ) dedicated? ( sys-libs/pam acct-user/rstudio-server acct-group/rstudio-server ) server? ( acct-user/rstudio-server acct-group/rstudio-server ) dev-libs/openssl:0= >=dev-java/java-config-2.2.0-r3
SLOT=0
SRC_URI=https://github.com/rstudio/rstudio/archive/v1.3.1093.tar.gz -> rstudio-1.3.1093.tar.gz https://s3.amazonaws.com/rstudio-dictionaries/core-dictionaries.zip
-_eclasses_=cmake 11fee991ab428a3370e5c20fa8231fb6 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic 4134b5c0fb719b9161d10bdaba9e09e5 java-ant-2 e83ca06db890ca292b0b6d43e376e20d java-pkg-2 a3d583b3f640032c3eff643a4191bd03 java-utils-2 ac9fb9efa5413c5fb85a4203fe930e88 multilib 4b66d835ec72e021e359bb81eacfe988 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 pam 41ce39f668e11d31ff4734f3b5794f7d pax-utils fce6ad998516159787b92e8043167889 prefix d04f14b297013ad1410550c0757f14f8 qmake-utils f5eb2f69fffe94292aaaf802fb21c8d1 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa vcs-clean b690a7e9b6c497cf59326a7545df4283 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 27f9a2f19502b925ac117bd657aa2979
+_eclasses_=cmake 11fee991ab428a3370e5c20fa8231fb6 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic 4134b5c0fb719b9161d10bdaba9e09e5 java-ant-2 e83ca06db890ca292b0b6d43e376e20d java-pkg-2 a3d583b3f640032c3eff643a4191bd03 java-utils-2 8a3af9303fdbeca4510a6ba6e91b1460 multilib 4b66d835ec72e021e359bb81eacfe988 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 pam 41ce39f668e11d31ff4734f3b5794f7d pax-utils fce6ad998516159787b92e8043167889 prefix d04f14b297013ad1410550c0757f14f8 qmake-utils f5eb2f69fffe94292aaaf802fb21c8d1 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa vcs-clean b690a7e9b6c497cf59326a7545df4283 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 27f9a2f19502b925ac117bd657aa2979
_md5_=690ba148729925a510aee79e2fbdb847
diff --git a/metadata/md5-cache/sci-mathematics/why3-for-spark-2018 b/metadata/md5-cache/sci-mathematics/why3-for-spark-2018
index 78449c7edfea..806ff66a7319 100644
--- a/metadata/md5-cache/sci-mathematics/why3-for-spark-2018
+++ b/metadata/md5-cache/sci-mathematics/why3-for-spark-2018
@@ -1,5 +1,5 @@
DEFINED_PHASES=compile configure install
-DEPEND=>=dev-lang/ocaml-4.02.3:=[ocamlopt=] dev-ml/menhir:= coq? ( sci-mathematics/coq ) doc? ( dev-tex/rubber ) gtk? ( dev-ml/lablgtk:2=[sourceview] ) emacs? ( >=app-editors/emacs-23.1:* ) html? ( dev-tex/hevea:= ) hypothesis-selection? ( dev-ml/ocamlgraph:= ) zarith? ( dev-ml/zarith:= ) zip? ( >=dev-ml/camlzip-1.07:= ) sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4
+DEPEND=>=dev-lang/ocaml-4.02.3:=[ocamlopt=] dev-ml/menhir:= coq? ( sci-mathematics/coq ) doc? ( dev-tex/rubber ) gtk? ( dev-ml/lablgtk:2=[sourceview] ) emacs? ( >=app-editors/emacs-23.1:* ) html? ( dev-tex/hevea:= ) hypothesis-selection? ( dev-ml/ocamlgraph:= ) zarith? ( dev-ml/zarith:= ) zip? ( >=dev-ml/camlzip-1.07:= )
DESCRIPTION=Platform for deductive program verification
EAPI=6
HOMEPAGE=http://why3.lri.fr/
@@ -11,5 +11,4 @@ REQUIRED_USE=html? ( doc )
RESTRICT=strip
SLOT=0
SRC_URI=http://mirrors.cdn.adacore.com/art/5b0819dec7a447df26c27a43 -> why3-for-spark-gpl-2018-src.tar.gz
-_eclasses_=autotools c7052b276346587968d52ea8eaf5aca1 desktop c0d27bf73aa08ca05b663dbd31fbef28 edos2unix 33e347e171066657f91f8b0c72ec8773 epatch 9f813bb3c47cf2e60619a663b87c5f4e estack 055c42df72f76a4f45ec92b35e83cd56 eutils dab5d8ec471d025b79c9e6906bcf3bff gnuconfig 262062cef0ba4f22b397193da514a350 libtool 241a8f577b9781a42a7421e53448a44e ltprune 4f3f2db5ce3ccbeeacdf3f94954043aa multilib 4b66d835ec72e021e359bb81eacfe988 preserve-libs dbc9f8d2d49c66467bc327fddd8317bd strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa vcs-clean b690a7e9b6c497cf59326a7545df4283 wrapper 4251d4c84c25f59094fd557e0063a974
-_md5_=20e6b2aaad136eb93d0246a13f2c4863
+_md5_=508e0d1cc5f3bd1a17638079a7e39bbf