diff options
| -rw-r--r-- | sci-mathematics/cubicle/cubicle-1.2.0-r2.ebuild (renamed from sci-mathematics/cubicle/cubicle-1.2.0-r1.ebuild) | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sci-mathematics/cubicle/cubicle-1.2.0-r1.ebuild b/sci-mathematics/cubicle/cubicle-1.2.0-r2.ebuild index 8159f9f60a4a..756eb6aab056 100644 --- a/sci-mathematics/cubicle/cubicle-1.2.0-r1.ebuild +++ b/sci-mathematics/cubicle/cubicle-1.2.0-r2.ebuild @@ -14,10 +14,10 @@ SRC_URI="https://github.com/cubicle-model-checker/${PN}/archive/${PV}.tar.gz LICENSE="Apache-2.0" SLOT="0/${PV}" KEYWORDS="~amd64 ~x86" -IUSE="emacs examples ocamlopt" +IUSE="emacs examples" RDEPEND=" - >=dev-lang/ocaml-4.09.0:=[ocamlopt=] + >=dev-lang/ocaml-4.09.0:=[ocamlopt] dev-ml/num:= emacs? ( >=app-editors/emacs-23.1:* ) " |