Copyright for divxcomp source package in Stretch