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

  • mathcomp-algebra-tactics_0.3.0-1_amd64.changes REJECTED

    From Debian FTP Masters@21:1/5 to All on Fri Apr 22 13:40:01 2022
    libcoq-mathcomp-algebra-tactics_0.3.0-1_amd64.deb: trying to install to new, but could not find source (mathcomp-algebra-tactics 0.3.0-1)


    binary:libcoq-mathcomp-algebra-tactics 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)