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

  • coq-equations_1.3-8.15-1_amd64.changes REJECTED

    From Thorsten Alteholz@21:1/5 to All on Sat Jul 9 01:20:01 2022
    Hi Julien,

    please also mention at least doc/* and INRIA, CNRS et al. in your debian/copyright.
    The file headers say LGPL2.1 whereas the coq-equations.opam says LGPL-2.1+. Please ask upstream about his intentions.

    Thanks!
    Thorsten



    ===

    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 julien.puydt@gmail.com@21:1/5 to All on Sat Jul 9 07:50:01 2022
    Hi,

    Le vendredi 08 juillet 2022 à 23:00 +0000, Thorsten Alteholz a écrit :

    please also mention at least doc/*

    Why doc/* ? I checked again and didn't see anything special.

    and INRIA, CNRS et al. in your debian/copyright.

    Ok, adding:

    Files: theories/*/Relation*.v
    Copyright: 1999-2018 INRIA
    1999-2018 CNRS
    1999-2018 Coq contributors
    License: LGPL-2.1

    to d/copyright.

    The file headers say LGPL2.1 whereas the coq-equations.opam says
    LGPL-2.1+.
    Please ask upstream about his intentions.

    https://github.com/mattam82/Coq-Equations/issues/496

    I'm waiting for upstream feedback before a new upload.

    Thanks for the review,

    J.Puydt

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Thorsten Alteholz@21:1/5 to julien.puydt@gmail.com on Sat Jul 9 09:20:01 2022
    This is a multi-part message in MIME format.
    Hi Julien,


    On 09.07.22 07:47, julien.puydt@gmail.com wrote:
    Why doc/* ? I checked again and didn't see anything special.

    Coq-Equations-1.3-8.15/doc/myplainnat.bst:%% Copyright 1993-1999 Patrick
    W Daly
    Coq-Equations-1.3-8.15/doc/qsymbols.sty:% Copyright <A9>1994  Kristoffer
    H. Rose <kris@diku.dk>

    Coq-Equations-1.3-8.15/doc/myplainnat.bst:%% of the LaTeX Project Public License Distributed from CTAN


    https://github.com/mattam82/Coq-Equations/issues/496

    I'm waiting for upstream feedback before a new upload.

    Great, thanks a lot.

      Thorsten

    <html>
    <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
    </head>
    <body>
    Hi Julien,<br>
    <br>
    <br>
    <div class="moz-cite-prefix">On 09.07.22 07:47,
    <a class="moz-txt-link-abbreviated" href="mailto:julien.puydt@gmail.com">julien.puydt@gmail.com</a> wrote:<br>
    </div>
    <blockquote type="cite"
    cite="mid:bfb03f27bc7de8aa7ba3541fe952a9f464de3f74.camel@gmail.com">Why
    doc/* ? I checked again and didn't see anything special.
    </blockquote>
    <br>
    <span style="font-family:monospace"><span
    style="color:#000000;background-color:#ffffff;">Coq-Equations-1.3-8.15/doc/myplainnat.bst:%%
    Copyright 1993-1999 Patrick W Daly
    </span><br>
    Coq-Equations-1.3-8.15/doc/qsymbols.sty:% Copyright <span
    style="color:#ffffff;background-color:#000000;">&lt;A9&gt;</span><span
    style="color:#000000;background-color:#ffffff;"> 1994
     Kristoffer H. Rose  <a class="moz-txt-link-rfc2396E" href="mailto:kris@diku.dk">&lt;kris@diku.dk&gt;</a></span><br>
    <br>
    </span><span style="font-family:monospace"><span
    style="color:#000000;background-color:#ffffff;">Coq-Equations-1.3-8.15/doc/myplainnat.bst:%%
    of the LaTeX Project Public License Distributed from CTAN
    </span><br>
    <br>
    </span><br>
    <span style="font-family:monospace"></span>
    <blockquote type="cite"
    cite="mid:bfb03f27bc7de8aa7ba3541fe952a9f464de3f74.camel@gmail.com">
    <pre class="moz-quote-pre" wrap="">
    <a class="moz-txt-link-freetext" href="https://github.com/mattam82/Coq-Equations/issues/496">https://github.com/mattam82/Coq-Equations/issues/496</a>

    I'm waiting for upstream feedback before a new upload.</pre>
    </blockquote>
    <br>
    Great, thanks a lot.<br>
    <br>
      Thorsten<br>
    <br>
    </body>
    </html>

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From julien.puydt@gmail.com@21:1/5 to All on Thu Jul 14 15:00:01 2022
    Hi,

    Le samedi 09 juillet 2022 à 09:05 +0200, Thorsten Alteholz a écrit :

    On 09.07.22 07:47, julien.puydt@gmail.com wrote:

    Why doc/* ? I checked again and didn't see anything special.
     
     Coq-Equations-1.3-8.15/doc/myplainnat.bst:%% Copyright 1993-1999
    Patrick W Daly
     Coq-Equations-1.3-8.15/doc/qsymbols.sty:% Copyright <A9> 1994
     Kristoffer H. Rose  <kris@diku.dk>
     
    Coq-Equations-1.3-8.15/doc/myplainnat.bst:%% of the LaTeX Project
    Public License Distributed from CTAN 

      
    https://github.com/mattam82/Coq-Equations/issues/496

    I'm waiting for upstream feedback before a new upload. 

     Great, thanks a lot.
     

    I finally updated d/copyright with what you pointed out and uploaded ;
    I'll update again when upstream moves.

    Cheers,

    J.Puydt

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