1. Forum
  2. Usenet
  3. LINUX.DEBIAN.MAINT.OCAML.

  • coq-serapi_8.19.0+0.19.3-1_source.changes REJECTED

    From Debian FTP Masters@21:1/5 to All on Thu May 2 22:40:02 2024
    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.


    --==============p49065620234599805=Content-Type: application/pgp-signature

    -----BEGIN PGP SIGNATURE-----

    iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZjP40gAKCRCb9qggYcy5 IfLoAQCqVYLsxRkuQZeDPQ80/83u3Wg2oYJykPe+FxqetpikRAEAkZL4B2Tb00YN UaVzBmPkYedEbpD44gvtPblVYCJP7ws=/Ar9
    -----END PGP SIGNATURE-----

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)