From Debian FTP Masters@21:1/5 to All on Sun Feb 6 14:40:02 2022
Source-only uploads to NEW are not allowed.
binary:libcoq-mathcomp is NEW.
binary:libcoq-mathcomp-algebra is NEW.
binary:libcoq-mathcomp-character is NEW.
binary:libcoq-mathcomp-field is NEW.
binary:libcoq-mathcomp-fingroup is NEW.
binary:libcoq-mathcomp-solvable is NEW.
binary:libcoq-mathcomp-ssreflect 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.