cvc4_1.8-1_amd64.changes REJECTED

[Fabian Wolff]

Hi Thorsten,

thanks for reviewing the package! I have fixed this issue now, but I'm
not a DD, so you can either sponsor the package yourself (given that
you already looked through it) or wait for Sergio to reupload it to
the NEW queue:

  https://mentors.debian.net/package/cvc4/

Thanks!
Fabian

On 9/13/20 2:00 PM, Thorsten Alteholz wrote:
> 
> Hi Fabian,
> 
> as you refer to AUTHORS and THANKS in your debian/copyright please also add those files to the binary packages.
> 
> Thanks!
>  Thorsten
> 
> 
> 
> ===
> 
> Please feel free to respond to this email if you don't understand why
> your files were rejected, or if you upload new files which address our
> concerns.
>