mirror of
https://github.com/gentoo-mirror/guru.git
synced 2026-07-22 05:23:01 -04:00
sci-mathematics/frama-c: add MissingUseDepDefault
Package-Manager: Portage-3.0.17, Repoman-3.0.2 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@riseup.net>
This commit is contained in:
@@ -1,4 +1,4 @@
|
||||
# Copyright 1999-2020 Gentoo Authors
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
@@ -20,7 +20,7 @@ RESTRICT="strip"
|
||||
|
||||
RDEPEND="
|
||||
>=dev-lang/ocaml-4.08.1[ocamlopt?]
|
||||
>=dev-ml/ocamlgraph-1.8.5[gtk?,ocamlopt?]
|
||||
>=dev-ml/ocamlgraph-1.8.5[gtk(-)?,ocamlopt?]
|
||||
>=dev-ml/zarith-1.5[ocamlopt?]
|
||||
>=dev-ml/yojson-1.4.1[ocamlopt?]
|
||||
gtk? ( >=dev-ml/lablgtk-2.14:2=[sourceview,gnomecanvas,ocamlopt?] )
|
||||
|
||||
Reference in New Issue
Block a user