diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2021-12-12 08:12:21 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2021-12-12 08:12:37 +0100 |
| commit | 9a4bc2c24c5d479fa9a5dfaccb8bde97d4434178 (patch) | |
| tree | a4a59444d73e4e4e1a5e7fef4b9074b687b27806 /sci-mathematics/easycrypt | |
| parent | dev-embedded/platformio: add 5.2.3 (diff) | |
| download | gentoo-9a4bc2c24c5d479fa9a5dfaccb8bde97d4434178.tar.gz gentoo-9a4bc2c24c5d479fa9a5dfaccb8bde97d4434178.tar.bz2 gentoo-9a4bc2c24c5d479fa9a5dfaccb8bde97d4434178.zip | |
sci-mathematics/easycrypt: fix ocaml dependency
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics/easycrypt')
| -rw-r--r-- | sci-mathematics/easycrypt/easycrypt-1.0_pre20211210-r1.ebuild (renamed from sci-mathematics/easycrypt/easycrypt-1.0_pre20211210.ebuild) | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/easycrypt/easycrypt-1.0_pre20211210.ebuild b/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:= |