I have seen that gnome-mplayer is in your repo but i don't find gecko-mediaplayer, a small plugin for gnome-mplayer that works really good in opera browser. Can you build this package? Thank you very much for your work. Massimo