7 files changed, 12 insertions, 80 deletions
diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz
index 98ce852e86e0..f751a590a011 100644
--- a/sci-mathematics/Manifest.gz
+++ b/sci-mathematics/Manifest.gz
diff --git a/sci-mathematics/flocq/Manifest b/sci-mathematics/flocq/Manifest
index ca45d23ad40d..96fa2727f244 100644
--- a/sci-mathematics/flocq/Manifest
+++ b/sci-mathematics/flocq/Manifest
@@ -1,7 +1,3 @@
-DIST flocq-4.1.0.tar.gz 447412 BLAKE2B 1b993a0e86bd440602b16b94ed5aff4b95a3c732eca87c683d239702b285dee8eaaf7dad77f730ae4929bb24504e5fd12b9a181d48efac4c3db7f0606637c018 SHA512 677e0de1406b3c7e5504d114a5b18ec07c719bbad79a2cfb750ac309fd5ab09be5493afdb1786b5a188cece59fddcd4167e28bf3be4facbdea8fe3b11cdf1ab1
-DIST flocq-4.1.1.tar.gz 450132 BLAKE2B 00821a3e135156640320d1afd548bc1912953bba64cc675b7b6c94b4e3c792c444bfbb4ef1a3352adefa466548083e32c2b1e4b38747dcbc6ac6de6d72250a74 SHA512 7076b8d5e33b8225e0124b9f66f4e3e1ed3e30804c5bca28e30d5e176c1b8c5c3d777a28c243fada17ab4ed32f580c6d606b11f045d48f7acb15e03db59870c4
 DIST flocq-4.2.1.tar.gz 447822 BLAKE2B c91f3e51d28854b15c526634494377b07b76dfa0fdbeeb0a3c2c27a27152fc2dd1ef6908f434f4f3be76d9172acdd616a51bea97b937886a3bf64bac37fcba18 SHA512 73a93f1b7d7b0d1ad731a87c1fbf80d363cc479259059618170d488eb7ff2e101d4e3adf850796b3d20455c94ba093ad39d9ef80e3e03e53b20f6e9df1886736
-EBUILD flocq-4.1.0-r1.ebuild 802 BLAKE2B 70e7bb64272922f8e2408de98c662beb02b702a97cf51485f66dcd052e90f8207d9dbb2cadcc7b66f47dfde77a42a5d2f72c5d2088dc39e5208af109294dbc0f SHA512 2c5accf4fdda617c647252edff805bd04784c739d4a1c5c0d65b830edeac84355d8ad4231512d27fb5de7ab2c3d85b8e211c2caaf3a26809ff7c1f1b1822b0f2
-EBUILD flocq-4.1.1.ebuild 802 BLAKE2B 70e7bb64272922f8e2408de98c662beb02b702a97cf51485f66dcd052e90f8207d9dbb2cadcc7b66f47dfde77a42a5d2f72c5d2088dc39e5208af109294dbc0f SHA512 2c5accf4fdda617c647252edff805bd04784c739d4a1c5c0d65b830edeac84355d8ad4231512d27fb5de7ab2c3d85b8e211c2caaf3a26809ff7c1f1b1822b0f2
 EBUILD flocq-4.2.1.ebuild 807 BLAKE2B 83535fe70ab5a08a4198a47840ce2f52c3d1fa944537ba7d33a07dae44732c4140ea1c8c31407c4026bc1a506e88eb182d503fc9248ad45b20d860cc6d1b0417 SHA512 ed9aaee9055415f7762498416f546f224de30561625b0fe98bf49c10cad36e214216e3539fab2f39e96b8096d40889d3982b4242a2bb6a9bda5f68eabf0ed1c3
 MISC metadata.xml 685 BLAKE2B aa5fae67335fe3a4919e89654c550462d454586b6892aabd3d05940f2250d9368cc0195f1a761a8faf92245e8415711c99e28b6547a2c22c893a47f02aad4e89 SHA512 f2d195f05014e269699198abfa7c214a9ded40a635e32ff94b2d2d5c915d23a0664851118942c9e38b945721295aae2c80299f7370b8a2c2bbb4325b32bb8259
diff --git a/sci-mathematics/flocq/flocq-4.1.0-r1.ebuild b/sci-mathematics/flocq/flocq-4.1.0-r1.ebuild
deleted file mode 100644
index a547b9e58320..000000000000
--- a/sci-mathematics/flocq/flocq-4.1.0-r1.ebuild
+++ /dev/null
@@ -1,37 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit multiprocessing
-
-DESCRIPTION="Formalization of floating-point arithmetic for the Coq proof assistant"
-HOMEPAGE="http://flocq.gforge.inria.fr/
-	https://gitlab.inria.fr/flocq/flocq/"
-SRC_URI="https://flocq.gitlabpages.inria.fr/releases/${P}.tar.gz"
-
-LICENSE="LGPL-3"
-SLOT="0"
-KEYWORDS="~amd64 ~x86"
-
-RDEPEND="
-	dev-lang/ocaml:=
-	>=sci-mathematics/coq-8.12:=
-"
-DEPEND="${RDEPEND}"
-
-# Do not complain about CFLAGS etc since ML projects do not use them.
-QA_FLAGS_IGNORED='.*'
-
-src_compile() {
-	./remake --jobs=$(makeopts_jobs) || die
-}
-
-src_install() {
-	DESTDIR="${D}" ./remake install || die
-
-	dodoc AUTHORS INSTALL.md NEWS.md README.md
-
-	insinto /usr/share/${PN}
-	doins -r examples
-}
diff --git a/sci-mathematics/flocq/flocq-4.1.1.ebuild b/sci-mathematics/flocq/flocq-4.1.1.ebuild
deleted file mode 100644
index a547b9e58320..000000000000
--- a/sci-mathematics/flocq/flocq-4.1.1.ebuild
+++ /dev/null
@@ -1,37 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit multiprocessing
-
-DESCRIPTION="Formalization of floating-point arithmetic for the Coq proof assistant"
-HOMEPAGE="http://flocq.gforge.inria.fr/
-	https://gitlab.inria.fr/flocq/flocq/"
-SRC_URI="https://flocq.gitlabpages.inria.fr/releases/${P}.tar.gz"
-
-LICENSE="LGPL-3"
-SLOT="0"
-KEYWORDS="~amd64 ~x86"
-
-RDEPEND="
-	dev-lang/ocaml:=
-	>=sci-mathematics/coq-8.12:=
-"
-DEPEND="${RDEPEND}"
-
-# Do not complain about CFLAGS etc since ML projects do not use them.
-QA_FLAGS_IGNORED='.*'
-
-src_compile() {
-	./remake --jobs=$(makeopts_jobs) || die
-}
-
-src_install() {
-	DESTDIR="${D}" ./remake install || die
-
-	dodoc AUTHORS INSTALL.md NEWS.md README.md
-
-	insinto /usr/share/${PN}
-	doins -r examples
-}
diff --git a/sci-mathematics/minisat/Manifest b/sci-mathematics/minisat/Manifest
index 71b43cad19ff..ad264177c2e9 100644
--- a/sci-mathematics/minisat/Manifest
+++ b/sci-mathematics/minisat/Manifest
@@ -1,6 +1,7 @@
 AUX minisat-2.2.1-cmake.patch 1971 BLAKE2B f194354706bafb51111648221b9ccb03c808caf245a45a0cc00bfd06d5167e46963bfe3c66164dd9df34373cc74ea36e4b11b69b9806363decc925b4db469d07 SHA512 5ceb69491e6a5dd6d7438f567a9c92f7c39e7e93fae776f901e6df1b855d2242941df3bf34e8e147992a9ed5b5120704172c4c9502db5f8baf962c058d26679e
+AUX minisat-2.2.1-cmake_minimum.patch 167 BLAKE2B 56a0208801fe35ecba7df7e9c9909d9692735fcb2d03553140b6bf37a0e9c06ea1e70115424aea2cd93a9fc53aede5576a499445672783360edc264ebdfc22f2 SHA512 82794a92a363b4137cfefc131b35823057eaaed49d9fac64c470d0760bd04058c2524318e03149e23384346f8039256ee497f3f9f9832995076e081839aaa29a
 AUX minisat-2.2.1-musl.patch 1602 BLAKE2B 8eb10efbb7227548fa7024fb520d31389be7883bb719a0ac8737f5bf926484383d64cef22a97e8bafadb474174392f1eaeb9971d5f5b7da6b8e2713c26988174 SHA512 d6affc70cae105991b739a3ebdae22da6eb74cda8878d4e64fb1b96287ae40c530ec7b73199f11ecaf9403edf1e1fbe9b8b8ccc1a691db6ac326c4d28368b070
 DIST MiniSat.pdf 327416 BLAKE2B 77f77d763c9554680b4c5e1688801e8462102e8ddbcc3b53badccee17a98f935ef0e971a636abeb04021a2b3a3e9d6acfe4828b5dd20e6ef8733d71788cc31b0 SHA512 94e70c721740c0b7fd52621c7a5e43dd9207eed92e60a1c64ee63b541b9861d2580d14ba64c49c6c4f273ac028ded43bc944c71131e51693cdd7d1763af582f6
 DIST minisat-2.2.1.tar.gz 50485 BLAKE2B 58c292f0b90dd459fa29fadbf9e2b20106406c08df9ce98f40138b12a8f001b4ab72f661815d1254c6c90158c3d6e3df339c784552605a935ebc5e703b2d8768 SHA512 a69734e1a70fe056f9dfd479fe4e6e25bc418d3631c1c2d0dea1190ffe9f86b1fc5e9aabaf3772a752fe654551f1e84e47fcb8655f6fe25176efc8d8bc96c663
-EBUILD minisat-2.2.1-r1.ebuild 705 BLAKE2B e20e83162ab6943b437341322c69ed9df7897cbea6246c9df4e1379e73f21190b6e8337d70c51e9f64561306c97957a2fe0706818d2b11b07527c913ba3bd236 SHA512 3bd870cf2709c3f75d17f7d43f8bc9fd45cab9ea95589674772448511b2c2602b7ebbabcac25448dd181eafbd785ff2e60565f0cc7518cf5acc1fa8706877664
+EBUILD minisat-2.2.1-r1.ebuild 754 BLAKE2B 9f017c7bb1b87fd34aee62c0cdf6648839163f236d1b774f35fbc4f515b754b7fda8a6e8c7dfcfc3ab9abd26166e7769c30b015d98e41da60c23ef9cba3942ad SHA512 ef15564fb4e004e065c1c985cab64842bf41e105c4dfa68dec855363eb58e5f41b95cfdb04a098b3e4fa99c1bef2ecb3bb18645ded7beed06ad2f1d13d5d6d42
 MISC metadata.xml 1244 BLAKE2B 7ef490fc9e45d1f9af7e5b40028614d71557e055fea15289dffcf4afc16fe72ecfa48b4dc7508ee042f603bd7035ccdc529b3640f33d67e96b3b5ede433455c4 SHA512 e6dbcbc2433da6491c94eefbcdf78d5634ca17c4c2e6174a832b46b75a6771cb1b7d92a3fe14d739dc9215a78126e40fe8447b2b3a65c355f9addcf4084ffe3d
diff --git a/sci-mathematics/minisat/files/minisat-2.2.1-cmake_minimum.patch b/sci-mathematics/minisat/files/minisat-2.2.1-cmake_minimum.patch
new file mode 100644
index 000000000000..1c4937bd6bf0
--- /dev/null
+++ b/sci-mathematics/minisat/files/minisat-2.2.1-cmake_minimum.patch
@@ -0,0 +1,8 @@
+--- a/CMakeLists.txt
++++ b/CMakeLists.txt
+@@ -1,4 +1,4 @@
+-cmake_minimum_required(VERSION 2.6 FATAL_ERROR)
++cmake_minimum_required(VERSION 3.20)
+ 
+ project(minisat)
+ 
diff --git a/sci-mathematics/minisat/minisat-2.2.1-r1.ebuild b/sci-mathematics/minisat/minisat-2.2.1-r1.ebuild
index ac28363ef0f5..3009ad4021ab 100644
--- a/sci-mathematics/minisat/minisat-2.2.1-r1.ebuild
+++ b/sci-mathematics/minisat/minisat-2.2.1-r1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2023 Gentoo Authors
+# Copyright 1999-2025 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=8
@@ -23,6 +23,7 @@ DEPEND="${RDEPEND}"
 PATCHES=(
 	"${FILESDIR}"/${P}-cmake.patch
 	"${FILESDIR}"/${P}-musl.patch
+	"${FILESDIR}/minisat-2.2.1-cmake_minimum.patch"
 )
 
 src_install() {