commit: 0d8a0892d862cd9214ea39af7c081fa6aa4d7790 Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> AuthorDate: Fri Nov 18 18:59:39 2022 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Fri Nov 18 20:38:03 2022 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0d8a0892
dev-lang/dafny-bin: depend on lttng-ust with SLOT=0/2.12 Closes: https://bugs.gentoo.org/875614 Bug: https://bugs.gentoo.org/798990 Bug: https://bugs.gentoo.org/872605 Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> .../dafny-bin/{dafny-bin-3.8.1.ebuild => dafny-bin-3.8.1-r1.ebuild} | 2 +- .../dafny-bin/{dafny-bin-3.9.0.ebuild => dafny-bin-3.9.0-r1.ebuild} | 2 +- .../dafny-bin/{dafny-bin-3.9.1.ebuild => dafny-bin-3.9.1-r1.ebuild} | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/dev-lang/dafny-bin/dafny-bin-3.8.1.ebuild b/dev-lang/dafny-bin/dafny-bin-3.8.1-r1.ebuild similarity index 97% rename from dev-lang/dafny-bin/dafny-bin-3.8.1.ebuild rename to dev-lang/dafny-bin/dafny-bin-3.8.1-r1.ebuild index 39a827f48c53..1c122629aafc 100644 --- a/dev-lang/dafny-bin/dafny-bin-3.8.1.ebuild +++ b/dev-lang/dafny-bin/dafny-bin-3.8.1-r1.ebuild @@ -14,7 +14,7 @@ REQUIRED_USE="elibc_glibc" RDEPEND=" dev-libs/userspace-rcu - dev-util/lttng-ust + dev-util/lttng-ust:0/2.12 sci-mathematics/z3 " BDEPEND="app-arch/unzip" diff --git a/dev-lang/dafny-bin/dafny-bin-3.9.0.ebuild b/dev-lang/dafny-bin/dafny-bin-3.9.0-r1.ebuild similarity index 97% rename from dev-lang/dafny-bin/dafny-bin-3.9.0.ebuild rename to dev-lang/dafny-bin/dafny-bin-3.9.0-r1.ebuild index c7dbe567fbba..3571c06eeb55 100644 --- a/dev-lang/dafny-bin/dafny-bin-3.9.0.ebuild +++ b/dev-lang/dafny-bin/dafny-bin-3.9.0-r1.ebuild @@ -14,7 +14,7 @@ REQUIRED_USE="elibc_glibc" RDEPEND=" dev-libs/userspace-rcu - dev-util/lttng-ust + dev-util/lttng-ust:0/2.12 sci-mathematics/z3 " BDEPEND="app-arch/unzip" diff --git a/dev-lang/dafny-bin/dafny-bin-3.9.1.ebuild b/dev-lang/dafny-bin/dafny-bin-3.9.1-r1.ebuild similarity index 97% rename from dev-lang/dafny-bin/dafny-bin-3.9.1.ebuild rename to dev-lang/dafny-bin/dafny-bin-3.9.1-r1.ebuild index c7dbe567fbba..3571c06eeb55 100644 --- a/dev-lang/dafny-bin/dafny-bin-3.9.1.ebuild +++ b/dev-lang/dafny-bin/dafny-bin-3.9.1-r1.ebuild @@ -14,7 +14,7 @@ REQUIRED_USE="elibc_glibc" RDEPEND=" dev-libs/userspace-rcu - dev-util/lttng-ust + dev-util/lttng-ust:0/2.12 sci-mathematics/z3 " BDEPEND="app-arch/unzip"
