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

  • coq_8.15.0+dfsg-2_source.changes REJECTED

    From Debian FTP Masters@21:1/5 to All on Fri Feb 4 10:00:01 2022
    Source-only uploads to NEW are not allowed.

    binary:libcoq-core-ocaml is NEW.
    binary:libcoq-core-ocaml-dev is NEW.
    binary:libcoq-stdlib 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.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Debian FTP Masters@21:1/5 to All on Sat Feb 5 00:00:03 2022
    Source-only uploads to NEW are not allowed.

    binary:libcoq-core-ocaml is NEW.
    binary:libcoq-core-ocaml-dev is NEW.
    binary:libcoq-stdlib 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.

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