avi2divx and mpeg2divx are able to convert AVI and MPEG videos to AVIs with DivX video and MP3 audio.
Release Notes: Building should be a lot easier, and the -A and -V options in mpeg2divx might even work.
Release Notes: A nasty memory leak has been plugged. New options (--startframe and --skipvideo) were added. Preliminary OpenDivx support was added.
Release Notes: This release doesn't actually have anything new other than that it now builds against avifile 0.53.1.
Release Notes: Initial freshmeat announcement.