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. > -- debian-science-maintainers mailing list [email protected] https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers
