diff options
Diffstat (limited to 'profiles/package.mask')
-rw-r--r-- | profiles/package.mask | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 77c734348094..8a0cdca9e91d 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -33,6 +33,17 @@ #--- END OF EXAMPLES --- # Andreas Sturmlechner <asturm@gentoo.org> (2020-06-18) +# Games depending on dead gnome-base/libgnomeui. +# games-board/gnono: Bug #726788, last release 2007, abandoned upstream. +# games-puzzle/gtetrinet: Bug #726798 last release 2006, abandoned upstream. +# games-board/mt_gtk_client: Bug #726808, last commit 17 years ago. +# games-board/sirius: Bug #726814, last release 15 years ago, dead upstream. +games-board/gnono +games-puzzle/gtetrinet +games-board/mt_gtk_client +games-board/sirius + +# Andreas Sturmlechner <asturm@gentoo.org> (2020-06-18) # Depends on dead gnome-base/libgnomeui. Really, no one else is packaging # this, last (and only) release in 2006, abandoned upstream. Bug #726790 dev-embedded/gnome-avrdude |