commit: 8ed2073013fdd757244ac5849f389f46aac5f5a7 Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org> AuthorDate: Mon Mar 8 19:13:37 2021 +0000 Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org> CommitDate: Mon Mar 8 19:14:42 2021 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8ed20730
package.mask: retire dev-ml/bin-prot dev-ml/ppx_driver Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org> profiles/package.mask | 2 ++ 1 file changed, 2 insertions(+) diff --git a/profiles/package.mask b/profiles/package.mask index 0400d17d014..532735d82d0 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -123,6 +123,8 @@ dev-ml/bin-prot dev-ml/configurator dev-ml/ppx_traverse dev-ml/ppx_type_conv +dev-ml/bin-prot +dev-ml/ppx_driver # Conrad Kostecki <[email protected]> (2021-03-05) # Deprecated by upstream and unsupported due EOL.
