5 files changed, 7 insertions, 7 deletions
diff --git a/metadata/md5-cache/sci-mathematics/Manifest.gz b/metadata/md5-cache/sci-mathematics/Manifest.gz
index 899cbce36f5e..5d57318f33aa 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/coq-8.15.2 b/metadata/md5-cache/sci-mathematics/coq-8.15.2
index 68372e0a5b7e..d3d8348a3e16 100644
--- a/metadata/md5-cache/sci-mathematics/coq-8.15.2
+++ b/metadata/md5-cache/sci-mathematics/coq-8.15.2
@@ -1,4 +1,4 @@
-BDEPEND=doc? ( >=dev-java/antlr-4.7:4 dev-python/antlr4-python3-runtime dev-python/beautifulsoup4 dev-python/pexpect dev-python/sphinx_rtd_theme dev-python/sphinxcontrib-bibtex dev-tex/latexmk dev-texlive/texlive-fontsextra dev-texlive/texlive-latexextra dev-texlive/texlive-xetex media-fonts/freefont ) dev-lang/ocaml dev-ml/dune
+BDEPEND=doc? ( >=dev-java/antlr-4.7:4 dev-python/antlr4-python3-runtime dev-python/beautifulsoup4 dev-python/pexpect dev-python/sphinx-rtd-theme dev-python/sphinxcontrib-bibtex dev-tex/latexmk dev-texlive/texlive-fontsextra dev-texlive/texlive-latexextra dev-texlive/texlive-xetex media-fonts/freefont ) dev-lang/ocaml dev-ml/dune
 DEFINED_PHASES=compile configure install test
 DEPEND=dev-ml/zarith:= || ( dev-ml/num <dev-lang/ocaml-4.09.0[ocamlopt?] ) gtk? ( dev-ml/lablgtk:3=[sourceview,ocamlopt?] dev-ml/lablgtk-sourceview:3=[ocamlopt?] ) >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
 DESCRIPTION=Proof assistant written in O'Caml
@@ -13,4 +13,4 @@ RESTRICT=test
 SLOT=0
 SRC_URI=https://github.com/coq/coq/archive/V8.15.2.tar.gz -> coq-8.15.2.tar.gz
 _eclasses_=desktop	7eb20ad915a0a318176d51bc2508ff5c	dune	77dc707d5b61b8d0b0fe46cefbdfec3a	edo	c0eb9cbe6b0bd01fcb4918f12598a4d3	multiprocessing	b4e253ab22cef7b1085e9b67c7a3b730
-_md5_=b1485dd39cb0ad08c03e41357f67bdc1
+_md5_=bdf68613757409cbfd318d197d6aec09
diff --git a/metadata/md5-cache/sci-mathematics/coq-8.16.0 b/metadata/md5-cache/sci-mathematics/coq-8.16.0
index ac0e7d2c0e66..e757addebf5c 100644
--- a/metadata/md5-cache/sci-mathematics/coq-8.16.0
+++ b/metadata/md5-cache/sci-mathematics/coq-8.16.0
@@ -1,4 +1,4 @@
-BDEPEND=doc? ( >=dev-java/antlr-4.7:4 dev-python/antlr4-python3-runtime dev-python/beautifulsoup4 dev-python/pexpect dev-python/sphinx_rtd_theme dev-python/sphinxcontrib-bibtex dev-tex/latexmk dev-texlive/texlive-fontsextra dev-texlive/texlive-latexextra dev-texlive/texlive-xetex media-fonts/freefont ) dev-lang/ocaml dev-ml/dune
+BDEPEND=doc? ( >=dev-java/antlr-4.7:4 dev-python/antlr4-python3-runtime dev-python/beautifulsoup4 dev-python/pexpect dev-python/sphinx-rtd-theme dev-python/sphinxcontrib-bibtex dev-tex/latexmk dev-texlive/texlive-fontsextra dev-texlive/texlive-latexextra dev-texlive/texlive-xetex media-fonts/freefont ) dev-lang/ocaml dev-ml/dune
 DEFINED_PHASES=compile configure install test
 DEPEND=dev-ml/zarith:= || ( dev-ml/num <dev-lang/ocaml-4.09.0[ocamlopt?] ) gtk? ( >=dev-ml/lablgtk-3.1.2:3=[sourceview,ocamlopt?] >=dev-ml/lablgtk-sourceview-3.1.2:3=[ocamlopt?] ) >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
 DESCRIPTION=Proof assistant written in O'Caml
@@ -13,4 +13,4 @@ RESTRICT=test
 SLOT=0
 SRC_URI=https://github.com/coq/coq/archive/V8.16.0.tar.gz -> coq-8.16.0.tar.gz
 _eclasses_=desktop	7eb20ad915a0a318176d51bc2508ff5c	dune	77dc707d5b61b8d0b0fe46cefbdfec3a	edo	c0eb9cbe6b0bd01fcb4918f12598a4d3	multiprocessing	b4e253ab22cef7b1085e9b67c7a3b730
-_md5_=26fc4a4776269714bef3e8fc0e101fe7
+_md5_=525fa42506ffb2809293a69bd07bc4cc
diff --git a/metadata/md5-cache/sci-mathematics/coq-8.16.1 b/metadata/md5-cache/sci-mathematics/coq-8.16.1
index b44f07c0ad92..f24bf9463055 100644
--- a/metadata/md5-cache/sci-mathematics/coq-8.16.1
+++ b/metadata/md5-cache/sci-mathematics/coq-8.16.1
@@ -1,4 +1,4 @@
-BDEPEND=doc? ( >=dev-java/antlr-4.7:4 dev-python/antlr4-python3-runtime dev-python/beautifulsoup4 dev-python/pexpect dev-python/sphinx_rtd_theme dev-python/sphinxcontrib-bibtex dev-tex/latexmk dev-texlive/texlive-fontsextra dev-texlive/texlive-latexextra dev-texlive/texlive-xetex media-fonts/freefont ) dev-lang/ocaml dev-ml/dune
+BDEPEND=doc? ( >=dev-java/antlr-4.7:4 dev-python/antlr4-python3-runtime dev-python/beautifulsoup4 dev-python/pexpect dev-python/sphinx-rtd-theme dev-python/sphinxcontrib-bibtex dev-tex/latexmk dev-texlive/texlive-fontsextra dev-texlive/texlive-latexextra dev-texlive/texlive-xetex media-fonts/freefont ) dev-lang/ocaml dev-ml/dune
 DEFINED_PHASES=compile configure install test
 DEPEND=dev-ml/zarith:= || ( dev-ml/num <dev-lang/ocaml-4.09.0[ocamlopt?] ) gtk? ( >=dev-ml/lablgtk-3.1.2:3=[sourceview,ocamlopt?] >=dev-ml/lablgtk-sourceview-3.1.2:3=[ocamlopt?] ) >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
 DESCRIPTION=Proof assistant written in O'Caml
@@ -13,4 +13,4 @@ RESTRICT=test
 SLOT=0
 SRC_URI=https://github.com/coq/coq/archive/V8.16.1.tar.gz -> coq-8.16.1.tar.gz
 _eclasses_=desktop	7eb20ad915a0a318176d51bc2508ff5c	dune	77dc707d5b61b8d0b0fe46cefbdfec3a	edo	c0eb9cbe6b0bd01fcb4918f12598a4d3	multiprocessing	b4e253ab22cef7b1085e9b67c7a3b730
-_md5_=26fc4a4776269714bef3e8fc0e101fe7
+_md5_=525fa42506ffb2809293a69bd07bc4cc
diff --git a/metadata/md5-cache/sci-mathematics/yacas-1.9.1 b/metadata/md5-cache/sci-mathematics/yacas-1.9.1
index a67bf76a22cf..a6738238073d 100644
--- a/metadata/md5-cache/sci-mathematics/yacas-1.9.1
+++ b/metadata/md5-cache/sci-mathematics/yacas-1.9.1
@@ -14,4 +14,4 @@ RESTRICT=!test? ( test )
 SLOT=0/1
 SRC_URI=https://github.com/grzegorzmazur/yacas/archive/refs/tags/v1.9.1.tar.gz -> yacas-1.9.1.tar.gz
 _eclasses_=cmake	449b4785acace35308fe747fc939bde1	flag-o-matic	69394e25812406faa1f90edaf4969395	multilib	5ca4e49abed8e3a2f7b56920eadee157	multiprocessing	b4e253ab22cef7b1085e9b67c7a3b730	ninja-utils	38c85b725d0467e51954ea921b6c104b	toolchain-funcs	9a610728b9bcca1919234cceb35a1027	xdg	6024fbc93167fad782e2032933654857	xdg-utils	ac0e315a3688929e34ac75b139e7349a
-_md5_=9daa047b9c82bf0c1df65585890575ba
+_md5_=91cc1983ba155b7ae051e794a1edc81e