Manpages of divxcomp in Debian wheezy