summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'profiles/package.mask')
-rw-r--r--profiles/package.mask4
1 files changed, 0 insertions, 4 deletions
diff --git a/profiles/package.mask b/profiles/package.mask
index dd77ae2f4f47..5ce7bce70584 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -663,10 +663,6 @@ net-dns/namecoin-qt
# Major QA violations, bug #587342 (#585722 in particular).
games-emulation/ppsspp
-# Alexis Ballier <aballier@gentoo.org> (27 Jun 2016)
-# Breaks dev-ml/ppx_type_conv
->=dev-ml/ppx_deriving-4
-
# Aaron Bauman <bman@gentoo.org> (26 Jun 2016)
# Unpatched security vulnerability per bug #475120
media-video/motion