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.
