Anybody know what happened to gmplayer in Maverick?

My long-term media player (for various reasons) has been gmplayer. A simple floating UI that remembered its fullscreen layout and just worked for me. I'm not trying to convert anybody but please respect that I'm not looking for alternatives.

It used to live in a package called mplayer-gui. Since upgrading to Maverick, I can't find it anywhere.

Apparently an Ubuntu-sent changelog says I should use SMplayer instead but as anybody who has used both will tell you immediately, they're completely different styles of media player.

I'm not against progress but I can't see anything but regression here.

From ubuntu Oli

• Copied from Bug 649240:

  mplayer-gui has been removed in maverick because it is broken upstream. It doesn't even build with a shared avcodec ATM.

  From Marcel Stimberg

• Had the same issue, but it appears to be resolved upstream: it builds fine since yesterday. :)

  Oli : Wonder if it'll make it back in.
  From hyp3