aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFrançois-Xavier Carton <fx.carton91@gmail.com>2023-04-09 01:44:30 +0200
committerFrançois-Xavier Carton <fx.carton91@gmail.com>2023-04-09 01:51:19 +0200
commitd41b48be876719c39c30f3d52c41550f1f3f45ba (patch)
tree2ee90e2799d3970fe48512647cfb7de183c64d0b /sci-mathematics
parentmedia-gfx/bonzomatic: Fix metadata (USE system-miniaudio, remote-id) (diff)
downloadguru-d41b48be876719c39c30f3d52c41550f1f3f45ba.tar.gz
guru-d41b48be876719c39c30f3d52c41550f1f3f45ba.tar.bz2
guru-d41b48be876719c39c30f3d52c41550f1f3f45ba.zip
sci-mathematics/frama-c: force gtk3
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-25.0-r2.ebuild (renamed from sci-mathematics/frama-c/frama-c-25.0-r1.ebuild)6
1 files changed, 3 insertions, 3 deletions
diff --git a/sci-mathematics/frama-c/frama-c-25.0-r1.ebuild b/sci-mathematics/frama-c/frama-c-25.0-r2.ebuild
index cb67c8563..5356f31fb 100644
--- a/sci-mathematics/frama-c/frama-c-25.0-r1.ebuild
+++ b/sci-mathematics/frama-c/frama-c-25.0-r2.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2022 Gentoo Authors
+# Copyright 1999-2023 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=7
@@ -18,12 +18,12 @@ RESTRICT="strip"
RDEPEND="
>=dev-lang/ocaml-4.08.1[ocamlopt?]
- >=dev-ml/ocamlgraph-1.8.8[ocamlopt?]
+ >=dev-ml/ocamlgraph-2.0.0[ocamlopt?]
dev-ml/ppx_import[ocamlopt?]
dev-ml/ppx_deriving[ocamlopt?]
>=dev-ml/zarith-1.5[ocamlopt?]
>=dev-ml/yojson-1.4.1[ocamlopt?]
- gtk? ( >=dev-ml/lablgtk-2.14:2=[sourceview,gnomecanvas,ocamlopt?] )"
+ gtk? ( dev-ml/lablgtk:3=[ocamlopt?,sourceview] )"
DEPEND="${RDEPEND}
media-gfx/graphviz"