commit: 6ca0633e00132ba90b1ec8b9c58ac3ac3deede63 Author: Alfred Wingate <parona <AT> protonmail <DOT> com> AuthorDate: Wed Sep 10 23:24:44 2025 +0000 Commit: Sam James <sam <AT> gentoo <DOT> org> CommitDate: Sat Sep 13 13:07:06 2025 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6ca0633e
dev-lang/dafny-bin: accept lttng-ust 2.12 compat package Signed-off-by: Alfred Wingate <parona <AT> protonmail.com> Part-of: https://github.com/gentoo/gentoo/pull/43739 Signed-off-by: Sam James <sam <AT> gentoo.org> .../{dafny-bin-4.10.0.ebuild => dafny-bin-4.10.0-r1.ebuild} | 5 ++++- .../{dafny-bin-4.11.0.ebuild => dafny-bin-4.11.0-r1.ebuild} | 5 ++++- 2 files changed, 8 insertions(+), 2 deletions(-) diff --git a/dev-lang/dafny-bin/dafny-bin-4.10.0.ebuild b/dev-lang/dafny-bin/dafny-bin-4.10.0-r1.ebuild similarity index 94% rename from dev-lang/dafny-bin/dafny-bin-4.10.0.ebuild rename to dev-lang/dafny-bin/dafny-bin-4.10.0-r1.ebuild index 2e67e92be0df..58efd30241da 100644 --- a/dev-lang/dafny-bin/dafny-bin-4.10.0.ebuild +++ b/dev-lang/dafny-bin/dafny-bin-4.10.0-r1.ebuild @@ -18,7 +18,10 @@ RESTRICT="strip" RDEPEND=" !dev-lang/dafny dev-libs/userspace-rcu - dev-util/lttng-ust:0/2.12 + || ( + dev-util/lttng-ust-compat:0/2.12 + dev-util/lttng-ust:0/2.12 + ) sci-mathematics/z3 " BDEPEND=" diff --git a/dev-lang/dafny-bin/dafny-bin-4.11.0.ebuild b/dev-lang/dafny-bin/dafny-bin-4.11.0-r1.ebuild similarity index 94% rename from dev-lang/dafny-bin/dafny-bin-4.11.0.ebuild rename to dev-lang/dafny-bin/dafny-bin-4.11.0-r1.ebuild index 183eb3564d28..c624b20b01dd 100644 --- a/dev-lang/dafny-bin/dafny-bin-4.11.0.ebuild +++ b/dev-lang/dafny-bin/dafny-bin-4.11.0-r1.ebuild @@ -18,7 +18,10 @@ RESTRICT="strip" RDEPEND=" !dev-lang/dafny dev-libs/userspace-rcu - dev-util/lttng-ust:0/2.12 + || ( + dev-util/lttng-ust-compat:0/2.12 + dev-util/lttng-ust:0/2.12 + ) sci-mathematics/z3 " BDEPEND="
