cvc4_1.8-1_amd64.changes REJECTED

Sergio Durigan Junior sergiodj at debian.org
Sun Sep 13 23:23:46 BST 2020


On Sunday, September 13 2020, Fabian Wolff wrote:

> 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 for the review, Thorsten.  And thanks for the quick fix, Fabian.

I'm rebuilding and reuploading the package now.

-- 
Sergio
GPG key ID: 237A 54B1 0287 28BF 00EF  31F4 D0EB 7628 65FC 5E36
Please send encrypted e-mail if possible
https://sergiodj.net/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 832 bytes
Desc: not available
URL: <http://alioth-lists.debian.net/pipermail/debian-science-maintainers/attachments/20200913/1bdcd7d4/attachment.sig>


More information about the debian-science-maintainers mailing list