ssreflect_1.14.0-4_source.changes REJECTED
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.
Reply to: