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

  • Comments regarding coqeal_1.1.0-1_amd64.changes

    From Thorsten Alteholz@21:1/5 to All on Thu Jul 7 00:10:02 2022
    Hi,

    please also mention INRIA and University of Gothenburg in your debian/copyright At least they were mentioned in some file headers ...

    Thorsten

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From julien.puydt@gmail.com@21:1/5 to All on Thu Jul 7 22:50:01 2022
    Le mercredi 06 juillet 2022 à 21:50 +0000, Thorsten Alteholz a écrit :

    please also mention INRIA and University of Gothenburg in your debian/copyright
    At least they were mentioned in some file headers ...


    I think I mention them in there already:

    https://metadata.ftp-master.debian.org/changelogs//main/c/coqeal/coqeal_1.1.0-1_copyright

    Thanks,

    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 Thu Jul 7 23:40:01 2022
    On Thu, 7 Jul 2022, julien.puydt@gmail.com wrote:
    I think I mention them in there already:

    Oh, you are right, I wonder what I saw ...

    Thorsten

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