diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2022-04-26 21:28:48 +0200 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2022-04-26 21:29:54 +0200 |
| commit | 977615f88d9a42c9ec0f8dd7c8f8991da6637854 (patch) | |
| tree | 7f2f4a24d4fa5a60ff92bb20f220f76a2970c4f5 | |
| parent | dev-python/sphinxcontrib-programoutput: Stabilize 0.17-r1 ALLARCHES, #841167 (diff) | |
| download | gentoo-977615f8.tar.gz gentoo-977615f8.tar.bz2 gentoo-977615f8.zip | |
package.mask: add sexp_pretty to janestreet mask
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
| -rw-r--r-- | profiles/package.mask | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 04c98a05fc6d..368a41631854 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -125,6 +125,7 @@ dev-ml/base_bigstring:0/0.15 dev-ml/ppx_js_style:0/0.15 dev-ml/core:0/0.15 dev-ml/core_kernel:0/0.15 +dev-ml/sexp_pretty:0/0.15 # Hans de Graaff <graaff@gentoo.org> (2022-04-23) # Obsolete slots that are no longer used by current |