diff options
author | Alfredo Tupone <tupone@gentoo.org> | 2021-03-07 20:21:46 +0100 |
---|---|---|
committer | Alfredo Tupone <tupone@gentoo.org> | 2021-03-07 20:22:45 +0100 |
commit | 7ae88f69d1d4e655376b52d2992bb1e5c9adf9f7 (patch) | |
tree | f6712ed38d84f54baf89d3cd7b75d1f1748e8f85 /profiles | |
parent | dev-ml/ppx_bin_prot: rm old version (diff) | |
download | gentoo-7ae88f69d1d4e655376b52d2992bb1e5c9adf9f7.tar.gz gentoo-7ae88f69d1d4e655376b52d2992bb1e5c9adf9f7.tar.bz2 gentoo-7ae88f69d1d4e655376b52d2992bb1e5c9adf9f7.zip |
package.mask: last rite dev-ml/bin-prot
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'profiles')
-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 d4874d8047fb..f361cc182ce6 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -73,6 +73,7 @@ dev-ml/ocaml-cstruct dev-ml/ocaml-ipaddr dev-ml/ocaml-uri dev-ml/re2 +dev-ml/bin-prot # Conrad Kostecki <conikost@gentoo.org> (2021-03-05) # Deprecated by upstream and unsupported due EOL. |