diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2018-07-28 14:02:22 +0200 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2018-07-28 14:02:22 +0200 |
| commit | abf18fe077ccbd1638960f36fae854631bc631b6 (patch) | |
| tree | 454dba24b2b367b873f3728d221ef1044b3ddac8 /profiles | |
| parent | media-gfx/postr: Remove last-rited pkg (diff) | |
| download | gentoo-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')
| -rw-r--r-- | profiles/package.mask | 4 |
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 |