Someone in a previous post reffered to it. It's the mirror where you get mplayer from up until a few months ago.
