diff options
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/package.mask | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index c599622efd75..1827dea5869f 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -58,13 +58,6 @@ net-p2p/ppcoind media-libs/libptp2 # Pacho Ramos <pacho@gentoo.org> (11 Nov 2018) -# Completely broken for a long time and uninstallable (#492484, #585516, -# #586582, #627094, #654548). -sci-libs/spqr -dev-lang/julia -sci-libs/suitesparse - -# Pacho Ramos <pacho@gentoo.org> (11 Nov 2018) # Dead for years, last package depending on old musicbrainz:3 (#629392). # Removal in a month. media-video/gnome-mplayer |