summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichał Górny <mgorny@gentoo.org>2016-07-24 13:28:06 +0200
committerMichał Górny <mgorny@gentoo.org>2016-07-24 13:30:57 +0200
commitec9de68630eb05b5647833902d3287e6af012fb9 (patch)
tree9433e3b1c0fadacc662cec706a221b1af22f5d51 /profiles
parentdev-ml/deriving-ocsigen: Remove last-rited pkg, #586906 (diff)
downloadgentoo-ec9de68630eb05b5647833902d3287e6af012fb9.tar.gz
gentoo-ec9de68630eb05b5647833902d3287e6af012fb9.tar.bz2
gentoo-ec9de68630eb05b5647833902d3287e6af012fb9.zip
dev-ml/faillib: Remove last-rited pkg, #586912
Diffstat (limited to 'profiles')
-rw-r--r--profiles/package.mask2
1 files changed, 0 insertions, 2 deletions
diff --git a/profiles/package.mask b/profiles/package.mask
index e3f2f1f244cc..a04818dd8531 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -238,9 +238,7 @@ media-video/motion
# Michał Górny <mgorny@gentoo.org> (25 Jun 2016)
# Obsolete packages for removal in 30 days. Replacements and bugs:
-# dev-ml/faillib -> dev-ml/ppx_fail, #586912
# dev-ml/typehashlib -- not used anymore, #586928
-dev-ml/faillib
dev-ml/typehashlib
# Pawel Hajdan jr <phajdan.jr@gentoo.org> (13 Jun 2016)