summaryrefslogtreecommitdiff
path: root/metadata/md5-cache/sci-mathematics
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2023-05-29 15:17:30 +0100
committerV3n3RiX <venerix@koprulu.sector>2023-05-29 15:17:30 +0100
commit662f71ae67cd775d7fbb79b5091676c0e07a992b (patch)
tree74c7cb80b79b8886cd7466cf262878d1e8b9d546 /metadata/md5-cache/sci-mathematics
parentb2d3769042cfd3d8ceadaa52f6a5aafabb0d4114 (diff)
gentoo auto-resync : 29:05:2023 - 15:17:30
Diffstat (limited to 'metadata/md5-cache/sci-mathematics')
-rw-r--r--metadata/md5-cache/sci-mathematics/4ti2-1.6.7-r12
-rw-r--r--metadata/md5-cache/sci-mathematics/Manifest.gzbin28616 -> 28605 bytes
-rw-r--r--metadata/md5-cache/sci-mathematics/cubicle-1.2.0-r22
-rw-r--r--metadata/md5-cache/sci-mathematics/dataplot-201312202
-rw-r--r--metadata/md5-cache/sci-mathematics/eclib-202304242
-rw-r--r--metadata/md5-cache/sci-mathematics/euler-1.61.0-r12
-rw-r--r--metadata/md5-cache/sci-mathematics/form-4.3.0-r12
-rw-r--r--metadata/md5-cache/sci-mathematics/form-4.3.12
-rw-r--r--metadata/md5-cache/sci-mathematics/genius-1.0.272
-rw-r--r--metadata/md5-cache/sci-mathematics/giac-1.9.0.29-r12
-rw-r--r--metadata/md5-cache/sci-mathematics/glpk-5.0-r12
-rw-r--r--metadata/md5-cache/sci-mathematics/maxima-5.46.02
-rw-r--r--metadata/md5-cache/sci-mathematics/maxima-5.46.0-r12
-rw-r--r--metadata/md5-cache/sci-mathematics/metamath-0.1982
-rw-r--r--metadata/md5-cache/sci-mathematics/nauty-2.7.42
-rw-r--r--metadata/md5-cache/sci-mathematics/nauty-2.8.6-r12
-rw-r--r--metadata/md5-cache/sci-mathematics/normaliz-3.10.02
-rw-r--r--metadata/md5-cache/sci-mathematics/octave-7.3.0-r22
-rw-r--r--metadata/md5-cache/sci-mathematics/octave-8.1.02
-rw-r--r--metadata/md5-cache/sci-mathematics/octave-8.2.02
-rw-r--r--metadata/md5-cache/sci-mathematics/prng-3.0.2-r32
-rw-r--r--metadata/md5-cache/sci-mathematics/psmt2-frontend-0.22
-rw-r--r--metadata/md5-cache/sci-mathematics/topcom-0.17.8-r32
-rw-r--r--metadata/md5-cache/sci-mathematics/unuran-1.9.02
-rw-r--r--metadata/md5-cache/sci-mathematics/why3-1.4.1-r12
-rw-r--r--metadata/md5-cache/sci-mathematics/why3-1.5.12
-rw-r--r--metadata/md5-cache/sci-mathematics/why3-1.6.02
-rw-r--r--metadata/md5-cache/sci-mathematics/why3-for-spark-2021-r12
-rw-r--r--metadata/md5-cache/sci-mathematics/yices2-2.6.4-r12
29 files changed, 28 insertions, 28 deletions
diff --git a/metadata/md5-cache/sci-mathematics/4ti2-1.6.7-r1 b/metadata/md5-cache/sci-mathematics/4ti2-1.6.7-r1
index 52fd84f59d56..40980522c809 100644
--- a/metadata/md5-cache/sci-mathematics/4ti2-1.6.7-r1
+++ b/metadata/md5-cache/sci-mathematics/4ti2-1.6.7-r1
@@ -10,5 +10,5 @@ LICENSE=GPL-2
RDEPEND=sci-mathematics/glpk:=[gmp] dev-libs/gmp:0=[cxx(+)]
SLOT=0
SRC_URI=http://4ti2.de/version_1.6.7/4ti2-1.6.7.tar.gz
-_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e
+_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e
_md5_=df00a64ac5488c2ed292d62e020df1e0
diff --git a/metadata/md5-cache/sci-mathematics/Manifest.gz b/metadata/md5-cache/sci-mathematics/Manifest.gz
index b8ef2bb418da..9b79b4f87caf 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/cubicle-1.2.0-r2 b/metadata/md5-cache/sci-mathematics/cubicle-1.2.0-r2
index 60187279cd83..55547f5f9117 100644
--- a/metadata/md5-cache/sci-mathematics/cubicle-1.2.0-r2
+++ b/metadata/md5-cache/sci-mathematics/cubicle-1.2.0-r2
@@ -11,5 +11,5 @@ LICENSE=Apache-2.0
RDEPEND=>=dev-lang/ocaml-4.09.0:=[ocamlopt] dev-ml/num:= emacs? ( >=app-editors/emacs-23.1:* )
SLOT=0/1.2.0
SRC_URI=https://github.com/cubicle-model-checker/cubicle/archive/1.2.0.tar.gz -> cubicle-1.2.0.tar.gz
-_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a elisp-common 01bc6dc778b74a9deebe4e419a3b790e gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e
+_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde elisp-common 01bc6dc778b74a9deebe4e419a3b790e gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e
_md5_=2b7622b8a6c6806f840896a8f6e6d82b
diff --git a/metadata/md5-cache/sci-mathematics/dataplot-20131220 b/metadata/md5-cache/sci-mathematics/dataplot-20131220
index fcc3d71ff7ee..ff6086479c4a 100644
--- a/metadata/md5-cache/sci-mathematics/dataplot-20131220
+++ b/metadata/md5-cache/sci-mathematics/dataplot-20131220
@@ -12,5 +12,5 @@ RDEPEND=media-libs/plotutils opengl? ( virtual/opengl ) gd? ( media-libs/gd[png,
REQUIRED_USE=opengl? ( X )
SLOT=0
SRC_URI=ftp://ftp.nist.gov/pub/dataplot/unix/dpsrc_2013_12_20.tar.gz ftp://ftp.nist.gov/pub/dataplot/unix/dplib.2009_07_15.tar.gz
-_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 8f942ebdcf04334697649d4a0bf65a32 flag-o-matic 16483e58fadb0d47b4528f0aa7e171f6 fortran-2 40c4450f1c4ecb2ee694d96e1958d4ea gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e wrapper 4a1902f969e5718126434fc35f3a0d9c
+_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 8f942ebdcf04334697649d4a0bf65a32 flag-o-matic 16483e58fadb0d47b4528f0aa7e171f6 fortran-2 40c4450f1c4ecb2ee694d96e1958d4ea gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e wrapper 4a1902f969e5718126434fc35f3a0d9c
_md5_=dbf2917d0a5a67cecc42f868b444264b
diff --git a/metadata/md5-cache/sci-mathematics/eclib-20230424 b/metadata/md5-cache/sci-mathematics/eclib-20230424
index 462d2a4e498e..448a49065957 100644
--- a/metadata/md5-cache/sci-mathematics/eclib-20230424
+++ b/metadata/md5-cache/sci-mathematics/eclib-20230424
@@ -12,5 +12,5 @@ RDEPEND=sci-mathematics/pari:= dev-libs/ntl:= boost? ( dev-libs/boost:= ) flint?
RESTRICT=!test? ( test )
SLOT=0/12
SRC_URI=https://github.com/JohnCremona/eclib/releases/download/v20230424/eclib-20230424.tar.bz2
-_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e
+_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e
_md5_=322b59a29ce117f504cb0418e7880d74
diff --git a/metadata/md5-cache/sci-mathematics/euler-1.61.0-r1 b/metadata/md5-cache/sci-mathematics/euler-1.61.0-r1
index 197503abb525..6d1ba95d2849 100644
--- a/metadata/md5-cache/sci-mathematics/euler-1.61.0-r1
+++ b/metadata/md5-cache/sci-mathematics/euler-1.61.0-r1
@@ -10,5 +10,5 @@ LICENSE=GPL-2
RDEPEND=x11-libs/gtk+:2 x11-misc/xdg-utils
SLOT=0
SRC_URI=mirror://sourceforge/euler/euler-1.61.0.tgz
-_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e
+_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e
_md5_=a4cc367c3587f9a1cab8e6a45fcb9cbd
diff --git a/metadata/md5-cache/sci-mathematics/form-4.3.0-r1 b/metadata/md5-cache/sci-mathematics/form-4.3.0-r1
index eab2c309ddb6..26bc059fcae7 100644
--- a/metadata/md5-cache/sci-mathematics/form-4.3.0-r1
+++ b/metadata/md5-cache/sci-mathematics/form-4.3.0-r1
@@ -11,5 +11,5 @@ LICENSE=GPL-3
RDEPEND=gmp? ( dev-libs/gmp:0= ) mpi? ( virtual/mpi ) zlib? ( sys-libs/zlib )
SLOT=0
SRC_URI=https://github.com/vermaseren/form/releases/download/v4.3.0/form-4.3.0.tar.gz emacs? ( https://dev.gentoo.org/~grozin/form-mode.el.gz )
-_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a elisp-common 01bc6dc778b74a9deebe4e419a3b790e flag-o-matic 16483e58fadb0d47b4528f0aa7e171f6 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e
+_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde elisp-common 01bc6dc778b74a9deebe4e419a3b790e flag-o-matic 16483e58fadb0d47b4528f0aa7e171f6 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e
_md5_=f9118e9f98d00dc8d5f6fba54631e1e2
diff --git a/metadata/md5-cache/sci-mathematics/form-4.3.1 b/metadata/md5-cache/sci-mathematics/form-4.3.1
index 8fb3d1ac6abd..f12bbb81e785 100644
--- a/metadata/md5-cache/sci-mathematics/form-4.3.1
+++ b/metadata/md5-cache/sci-mathematics/form-4.3.1
@@ -11,5 +11,5 @@ LICENSE=GPL-3
RDEPEND=gmp? ( dev-libs/gmp:0= ) mpi? ( virtual/mpi ) zlib? ( sys-libs/zlib )
SLOT=0
SRC_URI=https://github.com/vermaseren/form/releases/download/v4.3.1/form-4.3.1.tar.gz emacs? ( https://dev.gentoo.org/~grozin/form-mode.el.gz )
-_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a elisp-common 01bc6dc778b74a9deebe4e419a3b790e flag-o-matic 16483e58fadb0d47b4528f0aa7e171f6 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e
+_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde elisp-common 01bc6dc778b74a9deebe4e419a3b790e flag-o-matic 16483e58fadb0d47b4528f0aa7e171f6 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e
_md5_=f9118e9f98d00dc8d5f6fba54631e1e2
diff --git a/metadata/md5-cache/sci-mathematics/genius-1.0.27 b/metadata/md5-cache/sci-mathematics/genius-1.0.27
index 697983412408..2e71cdc34d1d 100644
--- a/metadata/md5-cache/sci-mathematics/genius-1.0.27
+++ b/metadata/md5-cache/sci-mathematics/genius-1.0.27
@@ -11,5 +11,5 @@ LICENSE=GPL-3+
RDEPEND=>=dev-libs/glib-2.41.1:2 dev-libs/gmp:0= dev-libs/mpfr:0= sys-libs/ncurses:0= sys-libs/readline:0= >=x11-libs/gtk+-3.21.4:3 >=x11-libs/vte-0.50.0:2.91 gui? ( >=x11-libs/gtk+-3.21.4:3 )
SLOT=0
SRC_URI=mirror://gnome/sources/genius/1.0/genius-1.0.27.tar.xz doc? ( https://www.jirka.org/genius-reference.pdf )
-_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a gnome.org 6b39404f1491c60a2d32e3c693a683fe gnome2 9bd787a54d31405e742ae7537eed650b gnome2-utils b0183db3b2e07b18f3b77bffec72e116 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e xdg 4a14c5c24f121e7da66e5aab4a168c6e xdg-utils baea6080dd821f5562d715887954c9d3
+_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde gnome.org 6b39404f1491c60a2d32e3c693a683fe gnome2 9bd787a54d31405e742ae7537eed650b gnome2-utils b0183db3b2e07b18f3b77bffec72e116 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e xdg 4a14c5c24f121e7da66e5aab4a168c6e xdg-utils baea6080dd821f5562d715887954c9d3
_md5_=797a934633a7d748d114a19adb739926
diff --git a/metadata/md5-cache/sci-mathematics/giac-1.9.0.29-r1 b/metadata/md5-cache/sci-mathematics/giac-1.9.0.29-r1
index d450d3d36490..95cd3f98c216 100644
--- a/metadata/md5-cache/sci-mathematics/giac-1.9.0.29-r1
+++ b/metadata/md5-cache/sci-mathematics/giac-1.9.0.29-r1
@@ -13,5 +13,5 @@ REQUIRED_USE=test? ( gui )
RESTRICT=!test? ( test ) mirror
SLOT=0
SRC_URI=https://www-fourier.ujf-grenoble.fr/~parisse/debian/dists/stable/main/source/giac_1.9.0-29.tar.gz
-_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a flag-o-matic 16483e58fadb0d47b4528f0aa7e171f6 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e xdg-utils baea6080dd821f5562d715887954c9d3
+_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde flag-o-matic 16483e58fadb0d47b4528f0aa7e171f6 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e xdg-utils baea6080dd821f5562d715887954c9d3
_md5_=54d2b659fd4a31314ef658cafc195c9f
diff --git a/metadata/md5-cache/sci-mathematics/glpk-5.0-r1 b/metadata/md5-cache/sci-mathematics/glpk-5.0-r1
index 5c9e5748a7a3..1611d6fc243d 100644
--- a/metadata/md5-cache/sci-mathematics/glpk-5.0-r1
+++ b/metadata/md5-cache/sci-mathematics/glpk-5.0-r1
@@ -11,5 +11,5 @@ LICENSE=GPL-3
RDEPEND=sci-libs/amd:0= sci-libs/colamd:= sys-libs/zlib:0= gmp? ( dev-libs/gmp:0= ) mysql? ( dev-db/mysql-connector-c ) odbc? ( || ( dev-db/libiodbc:0 dev-db/unixODBC:0 ) )
SLOT=0/40
SRC_URI=mirror://gnu/glpk/glpk-5.0.tar.gz
-_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 8f942ebdcf04334697649d4a0bf65a32 flag-o-matic 16483e58fadb0d47b4528f0aa7e171f6 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e wrapper 4a1902f969e5718126434fc35f3a0d9c
+_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 8f942ebdcf04334697649d4a0bf65a32 flag-o-matic 16483e58fadb0d47b4528f0aa7e171f6 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e wrapper 4a1902f969e5718126434fc35f3a0d9c
_md5_=eb0b3a11a124cc676406d8d2468b32f3
diff --git a/metadata/md5-cache/sci-mathematics/maxima-5.46.0 b/metadata/md5-cache/sci-mathematics/maxima-5.46.0
index b924ffddaa46..ea4aef24ba31 100644
--- a/metadata/md5-cache/sci-mathematics/maxima-5.46.0
+++ b/metadata/md5-cache/sci-mathematics/maxima-5.46.0
@@ -13,5 +13,5 @@ REQUIRED_USE=vtk? ( ^^ ( python_single_target_python3_10 ) ) || ( clisp clozurec
RESTRICT=test
SLOT=0
SRC_URI=mirror://sourceforge/maxima/maxima-5.46.0.tar.gz
-_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a eapi8-dosym 741bfa77afb2a9321261501aca58c208 edos2unix 33e347e171066657f91f8b0c72ec8773 elisp-common 01bc6dc778b74a9deebe4e419a3b790e eutils 8f942ebdcf04334697649d4a0bf65a32 flag-o-matic 16483e58fadb0d47b4528f0aa7e171f6 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 d676fb844e9408f4290d20bc7312f8bb strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e wrapper 4a1902f969e5718126434fc35f3a0d9c xdg-utils baea6080dd821f5562d715887954c9d3
+_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde eapi8-dosym 741bfa77afb2a9321261501aca58c208 edos2unix 33e347e171066657f91f8b0c72ec8773 elisp-common 01bc6dc778b74a9deebe4e419a3b790e eutils 8f942ebdcf04334697649d4a0bf65a32 flag-o-matic 16483e58fadb0d47b4528f0aa7e171f6 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 d676fb844e9408f4290d20bc7312f8bb strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e wrapper 4a1902f969e5718126434fc35f3a0d9c xdg-utils baea6080dd821f5562d715887954c9d3
_md5_=bf464369318c933c7c4e12af2c8b4551
diff --git a/metadata/md5-cache/sci-mathematics/maxima-5.46.0-r1 b/metadata/md5-cache/sci-mathematics/maxima-5.46.0-r1
index a5fee8d2dc59..7306d8c2239c 100644
--- a/metadata/md5-cache/sci-mathematics/maxima-5.46.0-r1
+++ b/metadata/md5-cache/sci-mathematics/maxima-5.46.0-r1
@@ -13,5 +13,5 @@ REQUIRED_USE=vtk? ( ^^ ( python_single_target_python3_10 python_single_target_py
RESTRICT=test
SLOT=0
SRC_URI=mirror://sourceforge/maxima/maxima-5.46.0.tar.gz
-_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a elisp-common 01bc6dc778b74a9deebe4e419a3b790e flag-o-matic 16483e58fadb0d47b4528f0aa7e171f6 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 d676fb844e9408f4290d20bc7312f8bb toolchain-funcs 14a8ae365191b518fad51caad7a08f3e xdg-utils baea6080dd821f5562d715887954c9d3
+_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde elisp-common 01bc6dc778b74a9deebe4e419a3b790e flag-o-matic 16483e58fadb0d47b4528f0aa7e171f6 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 d676fb844e9408f4290d20bc7312f8bb toolchain-funcs 14a8ae365191b518fad51caad7a08f3e xdg-utils baea6080dd821f5562d715887954c9d3
_md5_=0fa109a876541ad7486b89bd1e4b9c08
diff --git a/metadata/md5-cache/sci-mathematics/metamath-0.198 b/metadata/md5-cache/sci-mathematics/metamath-0.198
index bed3af19538b..b57ba700f607 100644
--- a/metadata/md5-cache/sci-mathematics/metamath-0.198
+++ b/metadata/md5-cache/sci-mathematics/metamath-0.198
@@ -8,5 +8,5 @@ KEYWORDS=~amd64 ~x86
LICENSE=GPL-2
SLOT=0
SRC_URI=https://github.com/metamath/metamath-exe/archive/refs/tags/v0.198.tar.gz -> metamath-0.198.tar.gz
-_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e
+_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e
_md5_=339b045621fceffa1ef1cfc145741072
diff --git a/metadata/md5-cache/sci-mathematics/nauty-2.7.4 b/metadata/md5-cache/sci-mathematics/nauty-2.7.4
index f04a8432d80f..fa1d8df78199 100644
--- a/metadata/md5-cache/sci-mathematics/nauty-2.7.4
+++ b/metadata/md5-cache/sci-mathematics/nauty-2.7.4
@@ -11,5 +11,5 @@ LICENSE=Apache-2.0
RDEPEND=dev-libs/gmp:0 sys-libs/zlib sci-mathematics/cliquer
SLOT=0
SRC_URI=https://pallini.di.uniroma1.it/nauty27r4.tar.gz mirror://debian/pool/main/n/nauty/nauty_2.7r4+ds-1.debian.tar.xz https://src.fedoraproject.org/rpms/nauty/raw/f35/f/nauty-includes.patch
-_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e
+_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e
_md5_=e5608c378fa52ebb9668cdd1e2561089
diff --git a/metadata/md5-cache/sci-mathematics/nauty-2.8.6-r1 b/metadata/md5-cache/sci-mathematics/nauty-2.8.6-r1
index 8fe0685c82a6..f37a360b4b3c 100644
--- a/metadata/md5-cache/sci-mathematics/nauty-2.8.6-r1
+++ b/metadata/md5-cache/sci-mathematics/nauty-2.8.6-r1
@@ -11,5 +11,5 @@ LICENSE=Apache-2.0
RDEPEND=dev-libs/gmp:0 sys-libs/zlib sci-mathematics/cliquer
SLOT=0
SRC_URI=https://pallini.di.uniroma1.it/nauty2_8_6.tar.gz mirror://debian/pool/main/n/nauty/nauty_2.8.6+ds-1.debian.tar.xz https://src.fedoraproject.org/rpms/nauty/raw/f35/f/nauty-includes.patch
-_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e
+_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e
_md5_=1b83dedbbfb32a60fafc48bd0c26787f
diff --git a/metadata/md5-cache/sci-mathematics/normaliz-3.10.0 b/metadata/md5-cache/sci-mathematics/normaliz-3.10.0
index 1d479094ca50..df74793d70e6 100644
--- a/metadata/md5-cache/sci-mathematics/normaliz-3.10.0
+++ b/metadata/md5-cache/sci-mathematics/normaliz-3.10.0
@@ -11,5 +11,5 @@ LICENSE=GPL-3
RDEPEND=dev-libs/gmp:=[cxx(+)] nauty? ( sci-mathematics/nauty )
SLOT=0/3
SRC_URI=https://github.com/Normaliz/Normaliz/releases/download/3.10.0/normaliz-3.10.0.tar.gz
-_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e
+_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e
_md5_=e5752088e60be16c6efc17382bb6ceb1
diff --git a/metadata/md5-cache/sci-mathematics/octave-7.3.0-r2 b/metadata/md5-cache/sci-mathematics/octave-7.3.0-r2
index 219c1d55297d..c102d643cc61 100644
--- a/metadata/md5-cache/sci-mathematics/octave-7.3.0-r2
+++ b/metadata/md5-cache/sci-mathematics/octave-7.3.0-r2
@@ -13,5 +13,5 @@ RDEPEND=app-arch/bzip2 app-arch/unzip app-arch/zip app-text/ghostscript-gpl sys-
REQUIRED_USE=fltk? ( opengl X ) gui? ( X ) opengl? ( || ( fltk gui ) )
SLOT=0/7.3.0
SRC_URI=mirror://gnu/octave/octave-7.3.0.tar.xz
-_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a flag-o-matic 16483e58fadb0d47b4528f0aa7e171f6 fortran-2 40c4450f1c4ecb2ee694d96e1958d4ea gnuconfig b6b3e92f8b8c996400074b5f61a59256 java-pkg-opt-2 4d26f2efd4c5ec82b66d1e8816f421b2 java-utils-2 8c72ea36a4935f626b13a30141d0d39c libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 pax-utils 91d47e5d20627c717aa878b9167c62a8 qmake-utils 59420c906278d16deaaa629f9d115707 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e xdg 4a14c5c24f121e7da66e5aab4a168c6e xdg-utils baea6080dd821f5562d715887954c9d3
+_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde flag-o-matic 16483e58fadb0d47b4528f0aa7e171f6 fortran-2 40c4450f1c4ecb2ee694d96e1958d4ea gnuconfig b6b3e92f8b8c996400074b5f61a59256 java-pkg-opt-2 4d26f2efd4c5ec82b66d1e8816f421b2 java-utils-2 8c72ea36a4935f626b13a30141d0d39c libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 pax-utils 91d47e5d20627c717aa878b9167c62a8 qmake-utils 59420c906278d16deaaa629f9d115707 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e xdg 4a14c5c24f121e7da66e5aab4a168c6e xdg-utils baea6080dd821f5562d715887954c9d3
_md5_=75c34497a9ffc6367a13e620fbfea6a2
diff --git a/metadata/md5-cache/sci-mathematics/octave-8.1.0 b/metadata/md5-cache/sci-mathematics/octave-8.1.0
index 8bb1c136201c..04eab48375c4 100644
--- a/metadata/md5-cache/sci-mathematics/octave-8.1.0
+++ b/metadata/md5-cache/sci-mathematics/octave-8.1.0
@@ -13,5 +13,5 @@ RDEPEND=app-arch/bzip2 app-arch/unzip app-arch/zip app-text/ghostscript-gpl sys-
REQUIRED_USE=fltk? ( opengl X ) gui? ( X ) opengl? ( || ( fltk gui ) )
SLOT=0/8.1.0
SRC_URI=mirror://gnu/octave/octave-8.1.0.tar.xz
-_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a flag-o-matic 16483e58fadb0d47b4528f0aa7e171f6 fortran-2 40c4450f1c4ecb2ee694d96e1958d4ea gnuconfig b6b3e92f8b8c996400074b5f61a59256 java-pkg-opt-2 4d26f2efd4c5ec82b66d1e8816f421b2 java-utils-2 8c72ea36a4935f626b13a30141d0d39c libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 pax-utils 91d47e5d20627c717aa878b9167c62a8 qmake-utils 59420c906278d16deaaa629f9d115707 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e xdg 4a14c5c24f121e7da66e5aab4a168c6e xdg-utils baea6080dd821f5562d715887954c9d3
+_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde flag-o-matic 16483e58fadb0d47b4528f0aa7e171f6 fortran-2 40c4450f1c4ecb2ee694d96e1958d4ea gnuconfig b6b3e92f8b8c996400074b5f61a59256 java-pkg-opt-2 4d26f2efd4c5ec82b66d1e8816f421b2 java-utils-2 8c72ea36a4935f626b13a30141d0d39c libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 pax-utils 91d47e5d20627c717aa878b9167c62a8 qmake-utils 59420c906278d16deaaa629f9d115707 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e xdg 4a14c5c24f121e7da66e5aab4a168c6e xdg-utils baea6080dd821f5562d715887954c9d3
_md5_=6c88288d43b8d75abf114d8480860f64
diff --git a/metadata/md5-cache/sci-mathematics/octave-8.2.0 b/metadata/md5-cache/sci-mathematics/octave-8.2.0
index dd7b97955634..97c20b56d575 100644
--- a/metadata/md5-cache/sci-mathematics/octave-8.2.0
+++ b/metadata/md5-cache/sci-mathematics/octave-8.2.0
@@ -13,5 +13,5 @@ RDEPEND=app-arch/bzip2 app-arch/unzip app-arch/zip app-text/ghostscript-gpl sys-
REQUIRED_USE=fltk? ( opengl X ) gui? ( X ) opengl? ( || ( fltk gui ) )
SLOT=0/8.2.0
SRC_URI=mirror://gnu/octave/octave-8.2.0.tar.xz
-_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a flag-o-matic 16483e58fadb0d47b4528f0aa7e171f6 fortran-2 40c4450f1c4ecb2ee694d96e1958d4ea gnuconfig b6b3e92f8b8c996400074b5f61a59256 java-pkg-opt-2 4d26f2efd4c5ec82b66d1e8816f421b2 java-utils-2 8c72ea36a4935f626b13a30141d0d39c libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 pax-utils 91d47e5d20627c717aa878b9167c62a8 qmake-utils 59420c906278d16deaaa629f9d115707 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e xdg 4a14c5c24f121e7da66e5aab4a168c6e xdg-utils baea6080dd821f5562d715887954c9d3
+_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde flag-o-matic 16483e58fadb0d47b4528f0aa7e171f6 fortran-2 40c4450f1c4ecb2ee694d96e1958d4ea gnuconfig b6b3e92f8b8c996400074b5f61a59256 java-pkg-opt-2 4d26f2efd4c5ec82b66d1e8816f421b2 java-utils-2 8c72ea36a4935f626b13a30141d0d39c libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 pax-utils 91d47e5d20627c717aa878b9167c62a8 qmake-utils 59420c906278d16deaaa629f9d115707 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e xdg 4a14c5c24f121e7da66e5aab4a168c6e xdg-utils baea6080dd821f5562d715887954c9d3
_md5_=8e5747ea03b5a7920bc06fcc3a917d6c
diff --git a/metadata/md5-cache/sci-mathematics/prng-3.0.2-r3 b/metadata/md5-cache/sci-mathematics/prng-3.0.2-r3
index f9b7db285ca3..20fa61ffa38f 100644
--- a/metadata/md5-cache/sci-mathematics/prng-3.0.2-r3
+++ b/metadata/md5-cache/sci-mathematics/prng-3.0.2-r3
@@ -9,5 +9,5 @@ KEYWORDS=amd64 x86 ~amd64-linux ~x86-linux
LICENSE=GPL-2
SLOT=0
SRC_URI=http://statmath.wu.ac.at/prng/prng-3.0.2.tar.gz
-_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e
+_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e
_md5_=abdb4a739341b059327ebcf4bb594429
diff --git a/metadata/md5-cache/sci-mathematics/psmt2-frontend-0.2 b/metadata/md5-cache/sci-mathematics/psmt2-frontend-0.2
index 40e4c09471ca..5827b4a164e2 100644
--- a/metadata/md5-cache/sci-mathematics/psmt2-frontend-0.2
+++ b/metadata/md5-cache/sci-mathematics/psmt2-frontend-0.2
@@ -11,5 +11,5 @@ LICENSE=Apache-2.0
RDEPEND=>=dev-ml/menhir-20181006 dev-lang/ocaml:=[ocamlopt?]
SLOT=0
SRC_URI=https://github.com/OCamlPro-Coquera/psmt2-frontend/archive/0.2.tar.gz -> psmt2-frontend-0.2.tar.gz
-_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a findlib cc1c14904708a0a28bcb256b342a808c gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e
+_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde findlib cc1c14904708a0a28bcb256b342a808c gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e
_md5_=8babbf81ec962f9ae8c2edc628d37b26
diff --git a/metadata/md5-cache/sci-mathematics/topcom-0.17.8-r3 b/metadata/md5-cache/sci-mathematics/topcom-0.17.8-r3
index 0dadc39e17c6..bad3c659af20 100644
--- a/metadata/md5-cache/sci-mathematics/topcom-0.17.8-r3
+++ b/metadata/md5-cache/sci-mathematics/topcom-0.17.8-r3
@@ -11,5 +11,5 @@ LICENSE=GPL-2
RDEPEND=dev-libs/gmp:0[cxx] >=sci-libs/cddlib-094f
SLOT=0
SRC_URI=https://www.wm.uni-bayreuth.de/de/team/rambau_joerg/TOPCOM-Downloads/TOPCOM-0_17_8.tgz https://www.wm.uni-bayreuth.de/de/team/rambau_joerg/TOPCOM-Manual/index.html -> TOPCOM-manual.html
-_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a flag-o-matic 16483e58fadb0d47b4528f0aa7e171f6 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e
+_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde flag-o-matic 16483e58fadb0d47b4528f0aa7e171f6 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e
_md5_=b261c66da9b2de4d32f90d4ae6d9a375
diff --git a/metadata/md5-cache/sci-mathematics/unuran-1.9.0 b/metadata/md5-cache/sci-mathematics/unuran-1.9.0
index af30be2f9de0..d956e488b4e7 100644
--- a/metadata/md5-cache/sci-mathematics/unuran-1.9.0
+++ b/metadata/md5-cache/sci-mathematics/unuran-1.9.0
@@ -11,5 +11,5 @@ LICENSE=GPL-2
RDEPEND=gsl? ( sci-libs/gsl:= ) prng? ( sci-mathematics/prng ) rngstreams? ( sci-mathematics/rngstreams:= )
SLOT=0
SRC_URI=https://statmath.wu.ac.at/unuran/unuran-1.9.0.tar.gz
-_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 out-of-source 15ce2b6ae214f3abe70892ce1e517abd toolchain-funcs 14a8ae365191b518fad51caad7a08f3e
+_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 out-of-source 15ce2b6ae214f3abe70892ce1e517abd toolchain-funcs 14a8ae365191b518fad51caad7a08f3e
_md5_=bfa78d81dec479185423011d94fc9ab5
diff --git a/metadata/md5-cache/sci-mathematics/why3-1.4.1-r1 b/metadata/md5-cache/sci-mathematics/why3-1.4.1-r1
index 6e378c5f360b..52df68bcf965 100644
--- a/metadata/md5-cache/sci-mathematics/why3-1.4.1-r1
+++ b/metadata/md5-cache/sci-mathematics/why3-1.4.1-r1
@@ -11,5 +11,5 @@ LICENSE=LGPL-2
RDEPEND=!sci-mathematics/why3-for-spark >=dev-lang/ocaml-4.05.0:=[ocamlopt?] >=dev-ml/menhir-20170418:= dev-ml/num:= coq? ( >=sci-mathematics/coq-8.6 ) emacs? ( app-editors/emacs:* ) gtk? ( dev-ml/lablgtk:=[sourceview,ocamlopt?] ) re? ( dev-ml/re:= ) sexp? ( dev-ml/ppx_deriving:=[ocamlopt?] dev-ml/ppx_sexp_conv:=[ocamlopt?] dev-ml/sexplib:=[ocamlopt?] ) zarith? ( dev-ml/zarith:= ) zip? ( dev-ml/camlzip:= ) dev-lang/ocaml:=[ocamlopt?]
SLOT=0/1.4.1
SRC_URI=https://why3.gitlabpages.inria.fr/releases/why3-1.4.1.tar.gz
-_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a findlib cc1c14904708a0a28bcb256b342a808c gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e
+_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde findlib cc1c14904708a0a28bcb256b342a808c gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e
_md5_=b693d3ae532bc1b1ff61fc05843be269
diff --git a/metadata/md5-cache/sci-mathematics/why3-1.5.1 b/metadata/md5-cache/sci-mathematics/why3-1.5.1
index 115bd96be17d..a163a63a375e 100644
--- a/metadata/md5-cache/sci-mathematics/why3-1.5.1
+++ b/metadata/md5-cache/sci-mathematics/why3-1.5.1
@@ -11,5 +11,5 @@ LICENSE=LGPL-2
RDEPEND=!sci-mathematics/why3-for-spark >=dev-lang/ocaml-4.05.0:=[ocamlopt?] >=dev-ml/menhir-20170418:= dev-ml/num:= coq? ( >=sci-mathematics/coq-8.7 ) emacs? ( app-editors/emacs:* ) gtk? ( dev-ml/lablgtk:=[sourceview,ocamlopt?] ) re? ( dev-ml/re:= ) sexp? ( dev-ml/ppx_deriving:=[ocamlopt?] dev-ml/ppx_sexp_conv:=[ocamlopt?] dev-ml/sexplib:=[ocamlopt?] ) stackify? ( dev-ml/ocamlgraph:=[ocamlopt?] ) zarith? ( dev-ml/zarith:= ) zip? ( dev-ml/camlzip:= ) dev-lang/ocaml:=[ocamlopt?]
SLOT=0/1.5.1
SRC_URI=https://why3.gitlabpages.inria.fr/releases/why3-1.5.1.tar.gz
-_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a findlib cc1c14904708a0a28bcb256b342a808c gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e
+_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde findlib cc1c14904708a0a28bcb256b342a808c gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e
_md5_=1319f34bbbc07ca4ed8cf2941cf928a2
diff --git a/metadata/md5-cache/sci-mathematics/why3-1.6.0 b/metadata/md5-cache/sci-mathematics/why3-1.6.0
index 70f119c5bb60..850dba0e9022 100644
--- a/metadata/md5-cache/sci-mathematics/why3-1.6.0
+++ b/metadata/md5-cache/sci-mathematics/why3-1.6.0
@@ -11,5 +11,5 @@ LICENSE=LGPL-2
RDEPEND=!sci-mathematics/why3-for-spark >=dev-lang/ocaml-4.05.0:=[ocamlopt?] >=dev-ml/menhir-20170418:= dev-ml/num:= coq? ( >=sci-mathematics/coq-8.7:= ) emacs? ( app-editors/emacs:* ) gtk? ( dev-ml/lablgtk:=[sourceview,ocamlopt?] ) re? ( dev-ml/re:= ) sexp? ( dev-ml/ppx_deriving:=[ocamlopt?] dev-ml/ppx_sexp_conv:=[ocamlopt?] dev-ml/sexplib:=[ocamlopt?] ) stackify? ( dev-ml/ocamlgraph:=[ocamlopt?] ) zarith? ( dev-ml/zarith:= ) zip? ( dev-ml/camlzip:= ) dev-lang/ocaml:=[ocamlopt?]
SLOT=0/1.6.0
SRC_URI=https://why3.gitlabpages.inria.fr/releases/why3-1.6.0.tar.gz
-_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a findlib cc1c14904708a0a28bcb256b342a808c gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e
+_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde findlib cc1c14904708a0a28bcb256b342a808c gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e
_md5_=1b60f52516740a173dc4ce769f5163f5
diff --git a/metadata/md5-cache/sci-mathematics/why3-for-spark-2021-r1 b/metadata/md5-cache/sci-mathematics/why3-for-spark-2021-r1
index 097b0db72b1a..a8f841cbeab9 100644
--- a/metadata/md5-cache/sci-mathematics/why3-for-spark-2021-r1
+++ b/metadata/md5-cache/sci-mathematics/why3-for-spark-2021-r1
@@ -13,5 +13,5 @@ REQUIRED_USE=html? ( doc )
RESTRICT=strip
SLOT=0
SRC_URI=https://community.download.adacore.com/v1/dd74ae7ecfd7d56aff7b17cee7a35559384a600f?filename=why3-2021-20210519-19ADF-src.tar.gz -> why3-2021-20210519-19ADF-src.tar.gz
-_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a findlib cc1c14904708a0a28bcb256b342a808c gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e
+_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde findlib cc1c14904708a0a28bcb256b342a808c gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e
_md5_=9ad116ef00f32676f8eee2f8dd9dff8d
diff --git a/metadata/md5-cache/sci-mathematics/yices2-2.6.4-r1 b/metadata/md5-cache/sci-mathematics/yices2-2.6.4-r1
index 0050d0e36dd0..96b68142f411 100644
--- a/metadata/md5-cache/sci-mathematics/yices2-2.6.4-r1
+++ b/metadata/md5-cache/sci-mathematics/yices2-2.6.4-r1
@@ -11,5 +11,5 @@ LICENSE=GPL-3+
RDEPEND=dev-libs/gmp:= mcsat? ( sci-mathematics/libpoly:= sci-mathematics/cudd:= )
SLOT=0/2.6.4
SRC_URI=https://github.com/SRI-CSL/yices2/archive/Yices-2.6.4.tar.gz
-_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e
+_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e
_md5_=56bbd3d09eebb277ddd15907f996cca3