From 1cb7588b512b2e5e56d438fd5a7cdb748fa662c3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Micha=C5=82=20G=C3=B3rny?= Date: Fri, 22 Nov 2024 22:18:20 +0100 Subject: [PATCH] =?UTF-8?q?Rename=20dev-python/{OutputCheck=20=E2=86=92=20?= =?UTF-8?q?outputcheck}?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Michał Górny --- dev-lang/boogie/boogie-3.2.5.ebuild | 2 +- dev-lang/boogie/boogie-3.3.3.ebuild | 2 +- dev-lang/boogie/boogie-3.4.1.ebuild | 2 +- dev-lang/boogie/boogie-3.4.2.ebuild | 2 +- dev-lang/dafny/dafny-4.8.0.ebuild | 2 +- dev-lang/dafny/dafny-4.8.1.ebuild | 2 +- dev-lang/dafny/dafny-4.9.0.ebuild | 2 +- dev-python/{OutputCheck => outputcheck}/Manifest | 0 .../files/outputcheck-0.4.2-Driver.patch} | 0 dev-python/{OutputCheck => outputcheck}/metadata.xml | 0 .../outputcheck-0.4.2-r2.ebuild} | 0 profiles/updates/4Q-2024 | 1 + sci-mathematics/stp/stp-2.3.4.ebuild | 2 +- 13 files changed, 9 insertions(+), 8 deletions(-) rename dev-python/{OutputCheck => outputcheck}/Manifest (100%) rename dev-python/{OutputCheck/files/OutputCheck-0.4.2-Driver.patch => outputcheck/files/outputcheck-0.4.2-Driver.patch} (100%) rename dev-python/{OutputCheck => outputcheck}/metadata.xml (100%) rename dev-python/{OutputCheck/OutputCheck-0.4.2-r2.ebuild => outputcheck/outputcheck-0.4.2-r2.ebuild} (100%) 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 ) "