diff --git a/math/SCIP/Makefile b/math/SCIP/Makefile
index b5b51c21f14f..018427969fb0 100644
--- a/math/SCIP/Makefile
+++ b/math/SCIP/Makefile
@@ -1,5 +1,6 @@
 PORTNAME=	SCIP
 DISTVERSION=	9.2.4
+PORTREVISION=	1
 CATEGORIES=	math science
 MASTER_SITES=	https://www.scipopt.org/download/release/
 DISTNAME=	${PORTNAME:tl}-${DISTVERSION}
diff --git a/math/SoPlex/Makefile b/math/SoPlex/Makefile
index b8703ce18f67..26ea6bd136ac 100644
--- a/math/SoPlex/Makefile
+++ b/math/SoPlex/Makefile
@@ -1,6 +1,5 @@
 PORTNAME=	SoPlex
-DISTVERSION=	7.1.1.0
-PORTREVISION=	5
+DISTVERSION=	8.0.0
 CATEGORIES=	math science
 MASTER_SITES=	http://soplex.zib.de/download/release/
 DISTNAME=	${PORTNAME:tl}-${DISTVERSION}
@@ -20,12 +19,15 @@ USE_LDCONFIG=	yes
 
 TEST_TARGET=	test
 
-PLIST_SUB=	SHL4=${DISTVERSION:R:R} SHL2=${DISTVERSION}
+PLIST_SUB=	SHL4=${DISTVERSION:R} SHL2=${DISTVERSION}
 
 OPTIONS_DEFINE=		MPFR
+OPTIONS_SUB=		yes
 
 MPFR_DESC=		Use MPFR for multiple-precision floating-point numbers
 MPFR_CMAKE_BOOL=	MPFR
 MPFR_LIB_DEPENDS=	libmpfr.so:math/mpfr
 
+# tests as of 8.0.0: 100% tests passed, 0 tests failed out of 429
+
 .include <bsd.port.mk>
diff --git a/math/SoPlex/distinfo b/math/SoPlex/distinfo
index 5f3088d7b6bf..1d98dc9c9083 100644
--- a/math/SoPlex/distinfo
+++ b/math/SoPlex/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1726394443
-SHA256 (soplex-7.1.1.0.tgz) = 3b992b2c1a7275ab67b738da70e9432e6d1fe24cd8adbba8e975c043288d078f
-SIZE (soplex-7.1.1.0.tgz) = 1174156
+TIMESTAMP = 1763257015
+SHA256 (soplex-8.0.0.tgz) = 6c3d0a3a2a0f6520a7334d10eaadb34a2f258035e8df40abc18ccf862a0b892a
+SIZE (soplex-8.0.0.tgz) = 1178879
diff --git a/math/SoPlex/pkg-plist b/math/SoPlex/pkg-plist
index 196b5198527e..29b7b1580fd8 100644
--- a/math/SoPlex/pkg-plist
+++ b/math/SoPlex/pkg-plist
@@ -66,6 +66,7 @@ include/soplex/sol.h
 include/soplex/solbase.h
 include/soplex/solverational.hpp
 include/soplex/solvereal.hpp
+include/soplex/soplex_interface.h
 include/soplex/sorter.h
 include/soplex/spxalloc.h
 include/soplex/spxautopr.h
@@ -159,6 +160,7 @@ include/soplex/vector.h
 include/soplex/vectorbase.h
 include/soplex/wallclocktimer.h
 include/soplex_interface.h
+%%MPFR%%lib/cmake/soplex/FindMPFR.cmake
 lib/cmake/soplex/soplex-config-version.cmake
 lib/cmake/soplex/soplex-config.cmake
 lib/cmake/soplex/soplex-targets-%%CMAKE_BUILD_TYPE%%.cmake
diff --git a/math/polymake/Makefile b/math/polymake/Makefile
index b0a90401376f..af2e1486ce9a 100644
--- a/math/polymake/Makefile
+++ b/math/polymake/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	polymake
 DISTVERSION=	4.13
-PORTREVISION=	2
+PORTREVISION=	3
 CATEGORIES=	math
 MASTER_SITES=	https://github.com/${PORTNAME}/${PORTNAME}/releases/download/V${DISTVERSION}/ \
 		https://polymake.org/lib/exe/fetch.php/download/
diff --git a/math/topcom/Makefile b/math/topcom/Makefile
index de1e725887c8..b3e847094d75 100644
--- a/math/topcom/Makefile
+++ b/math/topcom/Makefile
@@ -1,5 +1,6 @@
 PORTNAME=	topcom
 DISTVERSION=	1.1.2
+PORTREVISION=	1
 CATEGORIES=	math
 MASTER_SITES=	https://www.wm.uni-bayreuth.de/de/team/rambau_joerg/TOPCOM-Downloads/
 DISTNAME=	${PORTNAME:tu}-${DISTVERSION:S/./_/g}