diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2018-08-12 19:24:14 +0200 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2018-08-12 19:24:14 +0200 |
| commit | e33e862f9515ea5b6b15fec19374f01f74c8789f (patch) | |
| tree | 9b0e9ae2de5164527abf193511d9c319acf13d86 /profiles | |
| parent | app-text/capyt: remove old 1.0 (diff) | |
| download | gentoo-e33e862f9515ea5b6b15fec19374f01f74c8789f.tar.gz gentoo-e33e862f9515ea5b6b15fec19374f01f74c8789f.tar.bz2 gentoo-e33e862f9515ea5b6b15fec19374f01f74c8789f.zip | |
package.mask: Unmask app-emulation/hatari
Closes: https://bugs.gentoo.org/651146
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 b926fd34e6c3..9b6254be2cab 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -200,10 +200,6 @@ sys-apps/paludis # a month net-vpn/miredo -# Pacho Ramos <pacho@gentoo.org> (17 Jun 2018) -# Doesn't run, cannot bump it (#651146). Removal in a month. -games-emulation/hatari - # Mart Raudsepp <leio@gentoo.org> (16 Jun 2018) # No upstream (website disappeared), no upstream plugin maintainer, # and pretty much a fringe format anyway. |