From 01fab595410908596ba4e69a35e4dd03b029dade Mon Sep 17 00:00:00 2001 From: Alfredo Tupone Date: Sun, 24 Apr 2022 15:46:32 +0200 Subject: [PATCH] package.mask: add ppx_optcomp to janestreet mask Signed-off-by: Alfredo Tupone --- profiles/package.mask | 2 ++ 1 file changed, 2 insertions(+) diff --git a/profiles/package.mask b/profiles/package.mask index d861eb257178e..ca3eb5283b0db 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -52,6 +52,8 @@ dev-ml/ppx_let:0/0.15 dev-ml/ppx_sexp_message:0/0.15 dev-ml/ppx_sexp_value:0/0.15 dev-ml/ppx_assert:0/0.15 +#dev-ml/jst-config +dev-ml/ppx_optcomp:0/0.15 dev-ml/ppx_inline_test:0/0.15.0 dev-ml/ppx_expect:0/0.15.0