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="