summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2016-09-08 10:34:35 +0200
committerAlexis Ballier <aballier@gentoo.org>2016-09-08 16:56:52 +0200
commit9ddae04f526b7a943ba1e880bfcf6a18b5dd3beb (patch)
treee54cc38c1d120f7ef4253e5239c13a4445f8e673 /profiles
parentdev-ml/ppx_type_conv: bump to 113.33.02 (diff)
downloadgentoo-9ddae04f526b7a943ba1e880bfcf6a18b5dd3beb.tar.gz
gentoo-9ddae04f526b7a943ba1e880bfcf6a18b5dd3beb.tar.bz2
gentoo-9ddae04f526b7a943ba1e880bfcf6a18b5dd3beb.zip
profiles/package.mask: unmask latest dev-ml/ppx_deriving
Diffstat (limited to 'profiles')
-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