I have been looking for DivX support in linux for a LONG time ! .... i
havn't tested it yet. None of my boxes at home running linux are fast
enough
for the linux divx app.  But i'm sure that there are other people here who
have wanted DivX support in linux.  I have a good friend who used this
program 'avifile' and said good things about it.  So hopefully this helps
someone.

http://divx.euro.ru/

Chad