Plugin for encoding DivX4 video. NOTICE: This plugin requires separate installation of libdivxdecore and libdivxencore library which is not a part of this package nor Debian itself. See documentation for more details who to obtain this library. In general you do not need this plugin.