!dev-lang/dafny dev-libs/userspace-rcu || ( dev-util/lttng-ust-compat:0/2.12 dev-util/lttng-ust:0/2.12 ) sci-mathematics/z3 >=sys-libs/glibc-2.41-r6
