summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichał Górny <mgorny@gentoo.org>2018-07-28 14:02:22 +0200
committerMichał Górny <mgorny@gentoo.org>2018-07-28 14:02:22 +0200
commitabf18fe077ccbd1638960f36fae854631bc631b6 (patch)
tree454dba24b2b367b873f3728d221ef1044b3ddac8 /profiles/package.mask
parentmedia-gfx/postr: Remove last-rited pkg (diff)
downloadgentoo-abf18fe077ccbd1638960f36fae854631bc631b6.tar.gz
gentoo-abf18fe077ccbd1638960f36fae854631bc631b6.tar.bz2
gentoo-abf18fe077ccbd1638960f36fae854631bc631b6.zip
games-simulation/dangerdeep: Remove last-rited pkg
Closes: https://bugs.gentoo.org/630576
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 30cd715f8f94..a4b3b2fa67b9 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -250,10 +250,6 @@ sci-physics/hoomd-blue
media-sound/gnac
# Pacho Ramos <pacho@gentoo.org> (17 Jun 2018)
-# Fails to run (#630576). Removal in a month.
-games-simulation/dangerdeep
-
-# Pacho Ramos <pacho@gentoo.org> (17 Jun 2018)
# Dead since 2013, not compatible with latest profiles (#642568). Removal in
# a month
net-vpn/miredo