Thanks for your reply. For the record, I have filed this bug with debian here: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=862024
** Bug watch added: Debian Bug tracker #862024 http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=862024 -- You received this bug notification because you are a member of Ubuntu Touch seeded packages, which is subscribed to gst-plugins-bad1.0 in Ubuntu. https://bugs.launchpad.net/bugs/1688367 Title: Split More Widely Used Plugins in a Separate Package Status in gst-plugins-bad1.0 package in Ubuntu: New Bug description: I think it would be really useful if the more useful plugins from the "bad" set could be split into a separate package, on which the full set could depend. By more useful, I mean the ones required to play popular video and audio formats. I'm being deliberately vague because there's no point in being specific if there is no openness to the idea, but if there is I'm more than willing to work on a list. It just annoys me that I have to install things I never use, which are fairly large, like all the opencv libraries, to be able to watch certain popular media formats as well, and it seems like this is easily fixable. To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gst-plugins-bad1.0/+bug/1688367/+subscriptions -- Mailing list: https://launchpad.net/~touch-packages Post to : touch-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~touch-packages More help : https://help.launchpad.net/ListHelp