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

  • coq-math-classes_8.15.0-1_amd64.changes REJECTED

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

    please mention the LGPL and INRIA in your debian/copyright.

    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 jeudi 07 juillet 2022 à 19:00 +0000, Thorsten Alteholz a écrit :

    please mention the LGPL and INRIA in your debian/copyright.

    Done:
    coq-math-classes (8.15.0-2) unstable; urgency=medium

    * Complete d/copyright.

    -- Julien Puydt <jpuydt@debian.org> Fri, 08 Jul 2022 08:06:04 +0200

    Thanks for the review,

    J.Puydt

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