I posted this over in the linux forum but noticed nobody was browsing there so.. I'm going to post my question over here..

Does anybody know of an open source tool that will convert wmv to either mpeg or divx? The player I'm using, videolan, doesn't have a wmv plugin to allow playback. I'm running on a sparc platform, so a pre-compiled binary won't work for me.. Any info is appreciated..