From 6b53201410a34fbc6e6284c0d15b9a27b3e91a63 Mon Sep 17 00:00:00 2001 From: Alfredo Tupone Date: Mon, 25 Apr 2022 21:36:05 +0200 Subject: package.mask: add ppx_jane to janestreet mask Signed-off-by: Alfredo Tupone --- profiles/package.mask | 1 + 1 file changed, 1 insertion(+) (limited to 'profiles/package.mask') diff --git a/profiles/package.mask b/profiles/package.mask index 91734d57cec6..35a1fd24d03b 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -74,6 +74,7 @@ dev-ml/typerep:0/0.15 dev-ml/ppx_typerep_conv:0/0.15 dev-ml/variantslib:0/0.15 dev-ml/ppx_variants_conv:0/0.15 +dev-ml/ppx_jane:0/0.15 # Hans de Graaff (2022-04-23) # Obsolete slots that are no longer used by current -- cgit v1.2.3-65-gdbad