diff options
| author |   François-Xavier Carton <fx.carton91@gmail.com> | 2021-03-30 21:51:52 +0200 |
|---|---|---|
| committer | François-Xavier Carton <fx.carton91@gmail.com> | 2021-03-30 21:51:52 +0200 |
| commit | 9f99717f909fcb7eff1e3445b4d1f19129f112a3 (patch) | |
| tree | 9bd506cc3d601ea2168f52fd35b2b760c724de95 /sci-mathematics | |
| parent | sci-mathematics/why3: bump to 1.4.0 (diff) | |
| download | guru-9f99717f909fcb7eff1e3445b4d1f19129f112a3.tar.gz guru-9f99717f909fcb7eff1e3445b4d1f19129f112a3.tar.bz2 guru-9f99717f909fcb7eff1e3445b4d1f19129f112a3.zip | |
sci-mathematics/frama-c: doesn't build with why3-1.4.0
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/frama-c/frama-c-22.0.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
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" |