No MPlayer on Karol's site?

I was about to recommend Karol Pietrzak's rpm of Mplayer to a friend at our LUG, but when I checked: https://sourceforge.net/project/showfiles.php?group_id=28610 the only rpm there is mplayer-skins. Does anyone (or Karol) know what has happened to the Mplayer rpm - did he take it down (perhaps because he had two many people like me asking dumb questions about it?) Best wishes Kevin