Bug#942154: z3: Incomplete debian/copyright?

[Chris Lamb]

Source: z3
Version: 4.8.6-1
Severity: serious
Justication: Policy §12.5
X-Debbugs-CC: Fabian Wolff <fabi.wolff at arcor.de>, ftpmaster at debian.org

Hi,

I just ACCEPTed z3 from NEW but noticed it was missing attribution in 
debian/copyright for at least Arie Gurfinkel and Saint-Petersburg State
University.

This is in no way exhaustive so please check over the entire package 
carefully and address these on your next upload.


Regards,

-- 
      ,''`.
     : :'  :     Chris Lamb
     `. `'`      lamby at debian.org / chris-lamb.co.uk
       `-