Source: z3
Version: 4.8.6-1
Severity: serious
Justication: Policy ยง12.5
X-Debbugs-CC: Fabian Wolff <fabi.wo...@arcor.de>, ftpmas...@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
`. `'` la...@debian.org / chris-lamb.co.uk
`-
