Hi all. I'm trying to get mplayer under debian, but it tells me that it doesn't have a binary or source package available. Could someone point me to the best spot to get mplayer from? Also, does mplayer (or some other program) play .avi files?