diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2022-11-18 19:59:39 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-11-18 21:38:03 +0100 |
| commit | 0d8a0892d862cd9214ea39af7c081fa6aa4d7790 (patch) | |
| tree | 4b131715639c1bd319f65ab18bd46f39c6e1531e /dev-lang | |
| parent | app-shells/pwsh-bin: depend on lttng-ust with SLOT=0/2.12 (diff) | |
| download | gentoo-0d8a0892d862cd9214ea39af7c081fa6aa4d7790.tar.gz gentoo-0d8a0892d862cd9214ea39af7c081fa6aa4d7790.tar.bz2 gentoo-0d8a0892d862cd9214ea39af7c081fa6aa4d7790.zip | |
dev-lang/dafny-bin: depend on lttng-ust with SLOT=0/2.12
Closes: https://bugs.gentoo.org/875614
Bug: https://bugs.gentoo.org/798990
Bug: https://bugs.gentoo.org/872605
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-lang')
| -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" |