Source-only uploads to NEW are not allowed.
binary:coq-serapi is NEW. binary:libcoq-serapi-ocaml is NEW. binary:libcoq-serapi-ocaml-dev is NEW. source:coq-serapi 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.
pgpKJQKnxO3Z3.pgp
Description: PGP signature