diff --git a/dev-lang/boogie/boogie-3.2.5.ebuild b/dev-lang/boogie/boogie-3.2.5.ebuild
index 6001bf7f0be19..e8d80167509a6 100644
--- a/dev-lang/boogie/boogie-3.2.5.ebuild
+++ b/dev-lang/boogie/boogie-3.2.5.ebuild
@@ -226,7 +226,7 @@ RDEPEND="
 BDEPEND="
 	${RDEPEND}
 	test? (
-		dev-python/OutputCheck
+		dev-python/outputcheck
 		dev-python/lit
 		dev-python/psutil
 	)
diff --git a/dev-lang/boogie/boogie-3.3.3.ebuild b/dev-lang/boogie/boogie-3.3.3.ebuild
index 421465ebeceef..3f44a00b6a56b 100644
--- a/dev-lang/boogie/boogie-3.3.3.ebuild
+++ b/dev-lang/boogie/boogie-3.3.3.ebuild
@@ -226,7 +226,7 @@ RDEPEND="
 BDEPEND="
 	${RDEPEND}
 	test? (
-		dev-python/OutputCheck
+		dev-python/outputcheck
 		dev-python/lit
 		dev-python/psutil
 	)
diff --git a/dev-lang/boogie/boogie-3.4.1.ebuild b/dev-lang/boogie/boogie-3.4.1.ebuild
index 09b3413f3f680..927aa8383ff8d 100644
--- a/dev-lang/boogie/boogie-3.4.1.ebuild
+++ b/dev-lang/boogie/boogie-3.4.1.ebuild
@@ -226,7 +226,7 @@ RDEPEND="
 BDEPEND="
 	${RDEPEND}
 	test? (
-		dev-python/OutputCheck
+		dev-python/outputcheck
 		dev-python/lit
 		dev-python/psutil
 	)
diff --git a/dev-lang/boogie/boogie-3.4.2.ebuild b/dev-lang/boogie/boogie-3.4.2.ebuild
index b1d70adeb4bdd..512bb2a4b0dde 100644
--- a/dev-lang/boogie/boogie-3.4.2.ebuild
+++ b/dev-lang/boogie/boogie-3.4.2.ebuild
@@ -226,7 +226,7 @@ RDEPEND="
 BDEPEND="
 	${RDEPEND}
 	test? (
-		dev-python/OutputCheck
+		dev-python/outputcheck
 		dev-python/lit
 		dev-python/psutil
 	)
diff --git a/dev-lang/dafny/dafny-4.8.0.ebuild b/dev-lang/dafny/dafny-4.8.0.ebuild
index d759dd4787572..ec48d26cac703 100644
--- a/dev-lang/dafny/dafny-4.8.0.ebuild
+++ b/dev-lang/dafny/dafny-4.8.0.ebuild
@@ -404,7 +404,7 @@ BDEPEND="
 		>=dev-lang/boogie-3.1.6
 		dev-go/go-tools
 		dev-lang/go
-		dev-python/OutputCheck
+		dev-python/outputcheck
 		dev-python/lit
 		dev-python/psutil
 		net-libs/nodejs[npm]
diff --git a/dev-lang/dafny/dafny-4.8.1.ebuild b/dev-lang/dafny/dafny-4.8.1.ebuild
index 0bf40a85c5011..6026ea288584d 100644
--- a/dev-lang/dafny/dafny-4.8.1.ebuild
+++ b/dev-lang/dafny/dafny-4.8.1.ebuild
@@ -404,7 +404,7 @@ BDEPEND="
 		>=dev-lang/boogie-3.1.6
 		dev-go/go-tools
 		dev-lang/go
-		dev-python/OutputCheck
+		dev-python/outputcheck
 		dev-python/lit
 		dev-python/psutil
 		net-libs/nodejs[npm]
diff --git a/dev-lang/dafny/dafny-4.9.0.ebuild b/dev-lang/dafny/dafny-4.9.0.ebuild
index dd8da1ebd4cd6..2d6bfc6a965e8 100644
--- a/dev-lang/dafny/dafny-4.9.0.ebuild
+++ b/dev-lang/dafny/dafny-4.9.0.ebuild
@@ -406,7 +406,7 @@ BDEPEND="
 		>=dev-lang/boogie-3.3.3
 		dev-go/go-tools
 		dev-lang/go
-		dev-python/OutputCheck
+		dev-python/outputcheck
 		dev-python/lit
 		dev-python/psutil
 		net-libs/nodejs[npm]
diff --git a/dev-python/OutputCheck/Manifest b/dev-python/outputcheck/Manifest
similarity index 100%
rename from dev-python/OutputCheck/Manifest
rename to dev-python/outputcheck/Manifest
diff --git a/dev-python/OutputCheck/files/OutputCheck-0.4.2-Driver.patch b/dev-python/outputcheck/files/outputcheck-0.4.2-Driver.patch
similarity index 100%
rename from dev-python/OutputCheck/files/OutputCheck-0.4.2-Driver.patch
rename to dev-python/outputcheck/files/outputcheck-0.4.2-Driver.patch
diff --git a/dev-python/OutputCheck/metadata.xml b/dev-python/outputcheck/metadata.xml
similarity index 100%
rename from dev-python/OutputCheck/metadata.xml
rename to dev-python/outputcheck/metadata.xml
diff --git a/dev-python/OutputCheck/OutputCheck-0.4.2-r2.ebuild b/dev-python/outputcheck/outputcheck-0.4.2-r2.ebuild
similarity index 100%
rename from dev-python/OutputCheck/OutputCheck-0.4.2-r2.ebuild
rename to dev-python/outputcheck/outputcheck-0.4.2-r2.ebuild
diff --git a/profiles/updates/4Q-2024 b/profiles/updates/4Q-2024
index 14d78304bc280..840984e8bf361 100644
--- a/profiles/updates/4Q-2024
+++ b/profiles/updates/4Q-2024
@@ -39,3 +39,4 @@ move dev-python/mitmproxy_wireguard dev-python/mitmproxy-wireguard
 move dev-python/mypy_extensions dev-python/mypy-extensions
 move dev-python/Nuitka dev-python/nuitka
 move dev-python/Opcodes dev-python/opcodes
+move dev-python/OutputCheck dev-python/outputcheck
diff --git a/sci-mathematics/stp/stp-2.3.4.ebuild b/sci-mathematics/stp/stp-2.3.4.ebuild
index ab792a8ff3cd8..347b24f9498d7 100644
--- a/sci-mathematics/stp/stp-2.3.4.ebuild
+++ b/sci-mathematics/stp/stp-2.3.4.ebuild
@@ -48,7 +48,7 @@ BDEPEND="
 	sys-apps/help2man
 	test? (
 		dev-cpp/gtest
-		dev-python/OutputCheck
+		dev-python/outputcheck
 		dev-python/lit
 	)
 "