diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2022-04-24 13:52:52 +0200 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2022-04-24 13:52:52 +0200 |
| commit | 1502c3428a94e5343dff61abb55f194ceb8b0e57 (patch) | |
| tree | 42c2bfa1bc8b523bd07efd13eed3d2f5d7f5d8dd | |
| parent | dev-ml/ppx_sexp_message: 0.15.0 bump (diff) | |
| download | gentoo-1502c3428a94e5343dff61abb55f194ceb8b0e57.tar.gz gentoo-1502c3428a94e5343dff61abb55f194ceb8b0e57.tar.bz2 gentoo-1502c3428a94e5343dff61abb55f194ceb8b0e57.zip | |
package.mask: add ppx_sexp_value 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 d8a23df2640a..47e3c0f4e6dd 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -50,6 +50,7 @@ dev-ml/ppx_fields_conv:0/0.15 dev-ml/ppx_here:0/0.15 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_inline_test:0/0.15.0 dev-ml/ppx_expect:0/0.15.0 |