Source-only uploads to NEW are not allowed.
binary:bitwuzla is NEW. binary:bitwuzla-dev is NEW. binary:bitwuzla-doc is NEW. binary:libbitwuzla0 is NEW. binary:python3-bitwuzla is NEW. source:bitwuzla is NEW. === 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.
pgpBrZYpdvflS.pgp
Description: PGP signature
-- debian-science-maintainers mailing list [email protected] https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers
