" Pour lire un divx sous linux:
je vous conseille de commencer par installer le paquet suivant: win32codecs ( ou w32codecs, ça dépend des distributions). Avec ce paquet d´installé vous n´aurez pas de problème pour lire les vidéos au format microsoft.
Vous pouvez utiliser mplayer ou xine pour lire les divx, toutes* les vidéos devraient se lancer sans soucis. "
http://thonyox.club.fr/linux/video.html
==> à mon avis ton paquet win32codecs n´était pas à jour
un bon miroir à rajouter dans son sources.list ( pour ubuntu ou debian )
deb ftp://https://www.jeuxvideo.com//ftp.nerim.net/debian-marillat/ unstable main