aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndrew Ammerlaan <andrewammerlaan@riseup.net>2021-03-04 14:48:45 +0100
committerAndrew Ammerlaan <andrewammerlaan@riseup.net>2021-03-04 14:48:45 +0100
commit6dcd14a15a24c57c59022cef608ede13fffba598 (patch)
tree5b4fdae7b867be7589012ae891230b656d172f26 /sci-mathematics
parentsci-mathematics/why3: fix StaticURL (diff)
downloadsci-6dcd14a15a24c57c59022cef608ede13fffba598.tar.gz
sci-6dcd14a15a24c57c59022cef608ede13fffba598.tar.bz2
sci-6dcd14a15a24c57c59022cef608ede13fffba598.zip
sci-mathematics/frama-c: set USE default
Package-Manager: Portage-3.0.16, Repoman-3.0.2 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@riseup.net>
Diffstat (limited to 'sci-mathematics')
-rw-r--r--sci-mathematics/frama-c/frama-c-22.0.ebuild2
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