commit:     abd21320878ff5b156476612da893543dcee0399
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Mon Apr 25 19:42:37 2022 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Mon Apr 25 19:43:54 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=abd21320

package.mask: add int_repr to janestreet mask

Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>

 profiles/package.mask | 1 +
 1 file changed, 1 insertion(+)

diff --git a/profiles/package.mask b/profiles/package.mask
index 35a1fd24d03b..9dbd6769bf88 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -75,6 +75,7 @@ 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
+dev-ml/int_repr:0/0.15
 
 # Hans de Graaff <[email protected]> (2022-04-23)
 # Obsolete slots that are no longer used by current

Reply via email to