Gentoo Archives: gentoo-commits

From: Alfredo Tupone <tupone@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: profiles/
Date: Tue, 05 Jul 2022 17:01:30
Message-Id: 1657040474.85756a64c3917f2991d2a267fe6860a50b38caea.tupone@gentoo
1 commit: 85756a64c3917f2991d2a267fe6860a50b38caea
2 Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
3 AuthorDate: Tue Jul 5 17:00:04 2022 +0000
4 Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
5 CommitDate: Tue Jul 5 17:01:14 2022 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=85756a64
7
8 package.mask: mask dev-ml/sexplib:0/0.15
9
10 Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
11
12 profiles/package.mask | 1 +
13 1 file changed, 1 insertion(+)
14
15 diff --git a/profiles/package.mask b/profiles/package.mask
16 index 3036480adaa6..e9abada55439 100644
17 --- a/profiles/package.mask
18 +++ b/profiles/package.mask
19 @@ -287,6 +287,7 @@ dev-python/mysql-connector-python
20 # Alfredo Tupone <tupone@g.o> (2022-04-27)
21 # New release of janestreet packages need to tested
22 dev-ml/sexplib0:0/0.15
23 +dev-ml/sexplib:0/0.15
24 dev-ml/base:0/0.15
25 dev-ml/stdio:0/0.15
26 dev-ml/ppx_sexp_conv:0/0.15