Package: divxcomp

"divxcomp" package binaries on Debian:

/usr/bin/divxcomp

You may install this package on Debian with apt-get install divxcomp