commit: 9a4bc2c24c5d479fa9a5dfaccb8bde97d4434178
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sun Dec 12 07:12:21 2021 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sun Dec 12 07:12:37 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9a4bc2c2
sci-mathematics/easycrypt: fix ocaml dependency
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
...crypt-1.0_pre20211210.ebuild => easycrypt-1.0_pre20211210-r1.ebuild} | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/easycrypt/easycrypt-1.0_pre20211210.ebuild
b/sci-mathematics/easycrypt/easycrypt-1.0_pre20211210-r1.ebuild
similarity index 95%
rename from sci-mathematics/easycrypt/easycrypt-1.0_pre20211210.ebuild
rename to sci-mathematics/easycrypt/easycrypt-1.0_pre20211210-r1.ebuild
index 3752d3493756..17f451552103 100644
--- a/sci-mathematics/easycrypt/easycrypt-1.0_pre20211210.ebuild
+++ b/sci-mathematics/easycrypt/easycrypt-1.0_pre20211210-r1.ebuild
@@ -24,7 +24,7 @@ KEYWORDS="~amd64"
IUSE="+ocamlopt"
RDEPEND="
- >=dev-lang/ocaml-4.08.0:=[ocamlopt]
+ >=dev-lang/ocaml-4.08.0:=[ocamlopt?]
>=sci-mathematics/why3-1.4:=
dev-ml/batteries:=
dev-ml/camlzip:=
