Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat
-rw-r--r--dev-lang/boogie/boogie-3.2.5.ebuild2
-rw-r--r--dev-lang/boogie/boogie-3.3.3.ebuild2
-rw-r--r--dev-lang/boogie/boogie-3.4.1.ebuild2
-rw-r--r--dev-lang/boogie/boogie-3.4.2.ebuild2
-rw-r--r--dev-lang/dafny/dafny-4.8.0.ebuild2
-rw-r--r--dev-lang/dafny/dafny-4.8.1.ebuild2
-rw-r--r--dev-lang/dafny/dafny-4.9.0.ebuild2
-rw-r--r--dev-python/outputcheck/Manifest (renamed from dev-python/OutputCheck/Manifest)0
-rw-r--r--dev-python/outputcheck/files/outputcheck-0.4.2-Driver.patch (renamed from dev-python/OutputCheck/files/OutputCheck-0.4.2-Driver.patch)0
-rw-r--r--dev-python/outputcheck/metadata.xml (renamed from dev-python/OutputCheck/metadata.xml)0
-rw-r--r--dev-python/outputcheck/outputcheck-0.4.2-r2.ebuild (renamed from dev-python/OutputCheck/OutputCheck-0.4.2-r2.ebuild)0
-rw-r--r--profiles/updates/4Q-20241
-rw-r--r--sci-mathematics/stp/stp-2.3.4.ebuild2
13 files changed, 9 insertions, 8 deletions
diff --git a/dev-lang/boogie/boogie-3.2.5.ebuild b/dev-lang/boogie/boogie-3.2.5.ebuild
index 6001bf7f0be1..e8d80167509a 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 421465ebecee..3f44a00b6a56 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 09b3413f3f68..927aa8383ff8 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 b1d70adeb4bd..512bb2a4b0dd 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 d759dd478757..ec48d26cac70 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 0bf40a85c501..6026ea288584 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 dd8da1ebd4cd..2d6bfc6a965e 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
index fcdf322a8084..fcdf322a8084 100644
--- a/dev-python/OutputCheck/Manifest
+++ b/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
index 9812bd728e0c..9812bd728e0c 100644
--- a/dev-python/OutputCheck/files/OutputCheck-0.4.2-Driver.patch
+++ b/dev-python/outputcheck/files/outputcheck-0.4.2-Driver.patch
diff --git a/dev-python/OutputCheck/metadata.xml b/dev-python/outputcheck/metadata.xml
index 0891dc52ae07..0891dc52ae07 100644
--- a/dev-python/OutputCheck/metadata.xml
+++ b/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
index 9ba13e596a42..9ba13e596a42 100644
--- a/dev-python/OutputCheck/OutputCheck-0.4.2-r2.ebuild
+++ b/dev-python/outputcheck/outputcheck-0.4.2-r2.ebuild
diff --git a/profiles/updates/4Q-2024 b/profiles/updates/4Q-2024
index 14d78304bc28..840984e8bf36 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 ab792a8ff3cd..347b24f9498d 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
)
"