diff options
author | V3n3RiX <venerix@koprulu.sector> | 2022-08-05 02:06:51 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2022-08-05 02:06:51 +0100 |
commit | a5a60a0e01733705770f24a57953bf44ee06467d (patch) | |
tree | 5fa8cc0b689bd45faed74f1be3dcd0a64c8df50b /dev-ml/jingoo/jingoo-1.4.2.ebuild | |
parent | a87d0d6b8bfa400637c56d3194b22fca5cbd6f9e (diff) |
gentoo auto-resync : 05:08:2022 - 02:06:51
Diffstat (limited to 'dev-ml/jingoo/jingoo-1.4.2.ebuild')
-rw-r--r-- | dev-ml/jingoo/jingoo-1.4.2.ebuild | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-ml/jingoo/jingoo-1.4.2.ebuild b/dev-ml/jingoo/jingoo-1.4.2.ebuild index fb7f96eea9f3..bb5fe92b8b4f 100644 --- a/dev-ml/jingoo/jingoo-1.4.2.ebuild +++ b/dev-ml/jingoo/jingoo-1.4.2.ebuild @@ -17,6 +17,7 @@ IUSE="+ocamlopt test" RESTRICT="!test? ( test )" RDEPEND="dev-ml/ppx_deriving:= + dev-ml/ppxlib:= dev-ml/uucp:= dev-ml/uutf:= dev-ml/re:= |