Rename dev-python/{OutputCheck → outputcheck}

Signed-off-by: Michał Górny <mgorny@gentoo.org>
2026-09-23 16:49:10 -07:00 · 2024-11-22 22:18:20 +01:00
parent 61c5b40561
commit 1cb7588b51
13 changed files with 9 additions and 8 deletions
--- 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
 	)
--- 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
 	)
--- 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
 	)
--- 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
 	)
--- 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]
--- 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]
--- 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]
--- a/dev-python/outputcheck/Manifest
+++ b/dev-python/outputcheck/Manifest
--- a/dev-python/outputcheck/files/outputcheck-0.4.2-Driver.patch
+++ b/dev-python/outputcheck/files/outputcheck-0.4.2-Driver.patch
--- a/dev-python/outputcheck/metadata.xml
+++ b/dev-python/outputcheck/metadata.xml
--- a/dev-python/outputcheck/outputcheck-0.4.2-r2.ebuild
+++ b/dev-python/outputcheck/outputcheck-0.4.2-r2.ebuild
--- 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
--- 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
 	)
 "