diff options
| author |   Andrew Ammerlaan <andrewammerlaan@riseup.net> | 2021-03-04 14:48:45 +0100 |
|---|---|---|
| committer | Andrew Ammerlaan <andrewammerlaan@riseup.net> | 2021-03-04 14:48:45 +0100 |
| commit | 6dcd14a15a24c57c59022cef608ede13fffba598 (patch) | |
| tree | 5b4fdae7b867be7589012ae891230b656d172f26 /sci-mathematics | |
| parent | sci-mathematics/why3: fix StaticURL (diff) | |
| download | sci-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.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 |