Just a heads-up, libggi-target-fbdev has been deleted from 13.04. Still compiled just fine without it. Will let you know if I have any playback problems. Also checkinstall fails saying rst2man missing. Installing python-docutils (along with a few other it recommends) fixes it.
Next, is there a way to install mplayer and mplayer2 alongside each other? That way you would only have to change the executable in the options to switch back and forth.
Also, I'd keep the mplayer2 section in there for now. Last time I checked, which was a while ago so things may have changed, mplayer2 was one of the only players on linux that could handle 10bit encodes.
Lastly, thanks for all the work you have done for so long on this.