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