Bug#942154: z3: Incomplete debian/copyright?

Chris Lamb lamby at debian.org
Fri Oct 11 01:47:04 BST 2019


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
       `-



More information about the Pkg-llvm-team mailing list