diff options
author | Alexandre Rostovtsev <tetromino@gentoo.org> | 2012-10-28 02:46:10 -0400 |
---|---|---|
committer | Alexandre Rostovtsev <tetromino@gentoo.org> | 2012-10-28 02:46:10 -0400 |
commit | e40ad31b5a701771aee928908247726f2858e6eb (patch) | |
tree | d9446292c95e0a39dd05a3e5fdc56366206f81ea /profiles | |
parent | media-libs/gstreamer, media-libs/gst-plugins-base: add 1.0.2 (diff) | |
download | gnome-e40ad31b5a701771aee928908247726f2858e6eb.tar.gz gnome-e40ad31b5a701771aee928908247726f2858e6eb.tar.bz2 gnome-e40ad31b5a701771aee928908247726f2858e6eb.zip |
profiles/package.mask: mask sushi-3.6 until its dependencies are ready
Diffstat (limited to 'profiles')
-rw-r--r-- | profiles/package.mask | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 45714929..44df3403 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -6,6 +6,11 @@ # NOTE: Please add your entry at the top! # +# Alexandre Rostovtrev <tetromino@gentoo.org> (28 Oct 2011) +# Mask this until we have gst-plugins-{good,bad}:1.0 and clutter-gst:2.0 +# in place +=gnome-extra/sushi-3.6* + # Nirbheek Chauhan <nirbheek@gentoo.org> (11 Jan 2011) # Don't use this, use >=gnome-media-2.32.0-r300 instead # we can't use this until everything that uses libgnome-media-profiles.so is |