gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-09-24 04:59:14 -07:00
Code Issues Projects Releases Wiki Activity

dev-lang/dafny-bin: accept lttng-ust 2.12 compat package

Browse Source 
Signed-off-by: Alfred Wingate <parona@protonmail.com>
Part-of: https://github.com/gentoo/gentoo/pull/43739
Signed-off-by: Sam James <sam@gentoo.org>
This commit is contained in:
Alfred Wingate
2025-09-11 02:24:44 +03:00
committed by Sam James
parent 43bc72a3b0
commit 6ca0633e00
2 changed files with 8 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
dev-lang/dafny-bin/dafny-bin-4.10.0.ebuild → dev-lang/dafny-bin/dafny-bin-4.10.0-r1.ebuild
View File

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

5
dev-lang/dafny-bin/dafny-bin-4.11.0.ebuild → dev-lang/dafny-bin/dafny-bin-4.11.0-r1.ebuild
View File

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