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

  • coq-hott_8.15-1_amd64.changes REJECTED

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

    please mention the LGPL 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 Fri Jul 8 08:10:01 2022
    Hi,

    Le jeudi 07 juillet 2022 à 18:00 +0000, Thorsten Alteholz a écrit :

    please mention the LGPL in your debian/copyright.


    Done in a new upload:

    coq-hott (8.15-2) unstable; urgency=medium

    * Drop an erroneous b-dep on ocamlgraph.
    * Complete d/copyright.

    -- Julien Puydt <jpuydt@debian.org> Fri, 08 Jul 2022 00:13:17 +0200


    Thanks for the review,

    J.Puydt

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