diff options
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 717c61b65..a64c05e82 100644 --- a/sci-mathematics/frama-c/frama-c-22.0.ebuild +++ b/sci-mathematics/frama-c/frama-c-22.0.ebuild @@ -20,7 +20,7 @@ RESTRICT="strip" DEPEND=" >=dev-lang/ocaml-3.12.1[ocamlopt?] - >=dev-ml/ocamlgraph-1.8.5[gtk?,ocamlopt?] + >=dev-ml/ocamlgraph-1.8.5[gtk(-)?,ocamlopt?] dev-ml/zarith dev-ml/yojson sci-mathematics/coq |