mpg a divx?

[debianiz]

Hola:

        Ando intentando pasar un video en mpg a divx pero no encuentro ninguna 
utilidad en linux para el tema. Alguien sabe de alguna y de donde la puedo 
bajar?

Gracias por adelantado