diff options
| -rw-r--r-- | dev-lang/dafny-bin/dafny-bin-3.8.1-r1.ebuild (renamed from dev-lang/dafny-bin/dafny-bin-3.8.1.ebuild) | 2 | ||||
| -rw-r--r-- | dev-lang/dafny-bin/dafny-bin-3.9.0-r1.ebuild (renamed from dev-lang/dafny-bin/dafny-bin-3.9.0.ebuild) | 2 | ||||
| -rw-r--r-- | dev-lang/dafny-bin/dafny-bin-3.9.1-r1.ebuild (renamed from dev-lang/dafny-bin/dafny-bin-3.9.1.ebuild) | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/dev-lang/dafny-bin/dafny-bin-3.8.1.ebuild b/dev-lang/dafny-bin/dafny-bin-3.8.1-r1.ebuild index 39a827f48c53..1c122629aafc 100644 --- a/dev-lang/dafny-bin/dafny-bin-3.8.1.ebuild +++ b/dev-lang/dafny-bin/dafny-bin-3.8.1-r1.ebuild @@ -14,7 +14,7 @@ REQUIRED_USE="elibc_glibc" RDEPEND=" dev-libs/userspace-rcu - dev-util/lttng-ust + dev-util/lttng-ust:0/2.12 sci-mathematics/z3 " BDEPEND="app-arch/unzip" diff --git a/dev-lang/dafny-bin/dafny-bin-3.9.0.ebuild b/dev-lang/dafny-bin/dafny-bin-3.9.0-r1.ebuild index c7dbe567fbba..3571c06eeb55 100644 --- a/dev-lang/dafny-bin/dafny-bin-3.9.0.ebuild +++ b/dev-lang/dafny-bin/dafny-bin-3.9.0-r1.ebuild @@ -14,7 +14,7 @@ REQUIRED_USE="elibc_glibc" RDEPEND=" dev-libs/userspace-rcu - dev-util/lttng-ust + dev-util/lttng-ust:0/2.12 sci-mathematics/z3 " BDEPEND="app-arch/unzip" diff --git a/dev-lang/dafny-bin/dafny-bin-3.9.1.ebuild b/dev-lang/dafny-bin/dafny-bin-3.9.1-r1.ebuild index c7dbe567fbba..3571c06eeb55 100644 --- a/dev-lang/dafny-bin/dafny-bin-3.9.1.ebuild +++ b/dev-lang/dafny-bin/dafny-bin-3.9.1-r1.ebuild @@ -14,7 +14,7 @@ REQUIRED_USE="elibc_glibc" RDEPEND=" dev-libs/userspace-rcu - dev-util/lttng-ust + dev-util/lttng-ust:0/2.12 sci-mathematics/z3 " BDEPEND="app-arch/unzip" |