diff options
| -rw-r--r-- | dev-ml/jingoo/jingoo-1.4.2.ebuild | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dev-ml/jingoo/jingoo-1.4.2.ebuild b/dev-ml/jingoo/jingoo-1.4.2.ebuild index cef6205ee582..fb7f96eea9f3 100644 --- a/dev-ml/jingoo/jingoo-1.4.2.ebuild +++ b/dev-ml/jingoo/jingoo-1.4.2.ebuild @@ -1,4 +1,4 @@ -# Copyright 2021 Gentoo Authors +# Copyright 2021-2022 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=7 @@ -20,6 +20,7 @@ RDEPEND="dev-ml/ppx_deriving:= dev-ml/uucp:= dev-ml/uutf:= dev-ml/re:= + dev-ml/ocaml-migrate-parsetree:= dev-ml/menhir:=" DEPEND="${RDEPEND} test? ( dev-ml/ounit2 )" |