commit: 9f99717f909fcb7eff1e3445b4d1f19129f112a3
Author: François-Xavier Carton <fx.carton91 <AT> gmail <DOT> com>
AuthorDate: Tue Mar 30 19:51:52 2021 +0000
Commit: Andrew Ammerlaan <andrewammerlaan <AT> riseup <DOT> net>
CommitDate: Tue Mar 30 19:51:52 2021 +0000
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=9f99717f
sci-mathematics/frama-c: doesn't build with why3-1.4.0
Signed-off-by: François-Xavier Carton <fx.carton91 <AT> gmail.com>
sci-mathematics/frama-c/frama-c-22.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/frama-c/frama-c-22.0.ebuild
b/sci-mathematics/frama-c/frama-c-22.0.ebuild
index d9fa08e3a..cffc68867 100644
--- a/sci-mathematics/frama-c/frama-c-22.0.ebuild
+++ b/sci-mathematics/frama-c/frama-c-22.0.ebuild
@@ -24,7 +24,7 @@ RDEPEND="
>=dev-ml/zarith-1.5[ocamlopt?]
>=dev-ml/yojson-1.4.1[ocamlopt?]
gtk? ( >=dev-ml/lablgtk-2.14:2=[sourceview,gnomecanvas,ocamlopt?] )
- wp? ( >=sci-mathematics/why3-1.3.3 )"
+ wp? ( ~sci-mathematics/why3-1.3.3 )"
DEPEND="${RDEPEND}
dev-ml/findlib
media-gfx/graphviz"
