From 6ca0633e00132ba90b1ec8b9c58ac3ac3deede63 Mon Sep 17 00:00:00 2001 From: Alfred Wingate Date: Thu, 11 Sep 2025 02:24:44 +0300 Subject: [PATCH] dev-lang/dafny-bin: accept lttng-ust 2.12 compat package Signed-off-by: Alfred Wingate Part-of: https://github.com/gentoo/gentoo/pull/43739 Signed-off-by: Sam James --- .../{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(-) rename dev-lang/dafny-bin/{dafny-bin-4.10.0.ebuild => dafny-bin-4.10.0-r1.ebuild} (94%) rename dev-lang/dafny-bin/{dafny-bin-4.11.0.ebuild => dafny-bin-4.11.0-r1.ebuild} (94%) 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 2e67e92be0df7..58efd30241daf 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 183eb3564d281..c624b20b01dd3 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="