• Bug#614497: doc-debian: The OPL-licensed documents taken from Debian we

    From Francesco Poli@21:1/5 to All on Sun Mar 23 12:40:01 2025
    On Mon, 22 Oct 2012 19:36:33 +0200 Francesco Poli wrote:

    On Mon, 22 Oct 2012 09:40:17 -0700 Jonathan Nieder wrote:

    Hi Javier,

    Hi Jonathan, hi Javier!
    Thanks to you both for following up on this issue.


    Javier Fernandez-Sanguino wrote:

    Thanks for the updated information.
    [...]
    I would rather wait for the copyright notice in each of these pages to change before I change debian/copyright and update the status. Right
    now all of them point to the boilerplate page http://www.debian.org/license which still mentions that OPL is the current license for all the documents previous to January 25th, 2012.

    Hopefully, when #388141 is resolved for all documents we will be
    able to update debian/copyright and close this bug too.

    That's fine with me. I mostly meant to give a summary for Francesco
    of the current status of these documents. I also agree with you that
    the /licenses page online should be updated when their license status
    is clear, not just doc-debian's copyright file.

    Well, even though the issue with doc-debian is definitely part of the
    larger issue with the official Debian website (www.debian.org), I think
    that solving the part that affects doc-debian (a package shipped in
    Debian main, as I said!) should be carried on at a higher priority.

    I think that the copyright holders for the documents shipped in
    doc-debian should be tracked down and contacted, in order to ask
    (persuade) them to agree to the re-licensing under the disjunction
    "Expat or GPL-2+" (as is being done, I hope!, for the rest of www.debian.org).
    The collected "OK" answers should of course be contributed to the www.debian.org re-licensing effort.

    I hope this can be done in the short term.

    Thanks a lot for taking this issue seriously!
    Bye.

    Hello,
    is there any progress on this long-standing [bug] report?

    [bug]: <https://bugs.debian.org/614497>

    Bug [#238245] was closed a long time ago, with the Debian website
    [license page] stating that new material (added since 25 January 2012)
    is dual-licensed under the Expat license or the GNU GPL v2 or later.

    [#238245]: <https://bugs.debian.org/238245>
    [license page]: <https://www.debian.org/license>

    However, older material is still under the non-free OPL, until the corresponding copyright holders have been contacted and have agreed to
    the relicensing...
    Bug [#388141] is still open, is there any publicly visible status
    report about the tracking of copyright holders and their OKs to the relicensing?

    [#388141]: <https://bugs.debian.org/388141>

    Above all, what's the status, as far as the documents shipped in Debian
    package doc-debian are concerned?

    Please let me know, thanks for your time and dedication!



    --
    http://www.inventati.org/frx/
    There's not a second to spare! To the laboratory! ..................................................... Francesco Poli .
    GnuPG key fpr == CA01 1147 9CD2 EFDF FB82 3925 3E1C 27E1 1F69 BFFE

    -----BEGIN PGP SIGNATURE-----

    iQIzBAEBCgAdFiEEygERR5zS79/7gjklPhwn4R9pv/4FAmff788ACgkQPhwn4R9p v/5geA//VOr56kUFNMAxAFV/d7rn6WzMeEQmSSfsnavmK5X3zZXncaMmB0HfjPZJ 6cGxluTDH4TYO9GZbcGIUx9vAw6Vip/5qApTTzyPE49r8sJUIW8giidVkaHq04hG Yo7Y0Ed4IWcIdWh1rzqqgEi9Jnm5uGsO2mXS17V8M45BCAQ7FVLk8fVV7vvxd/Ze pJwupY87If8ertH6DBIcif8h0T4h3ncqrO4EwENGVPb+/fGqCSZaaXY2C8wYWKkw lUD0ptiU5mg/vuANBO+lylURuhK0JThLrtIKi22bYynqeI/89CyR4JVkqPuobaak U/NcVLBsI2nNomGMen1oMoVkm4MpnfZBDKGf2wIQYM22A5UOk5geujozYotB3NaQ DtgnVMqVGfpX1N0XfQRFT5zsXAKsDOJ12tK4RM6MTbuwvm7Dta1O752fq9FnM8jO g7G4w/C5Ojr2OoMkpiQ+iC0ooiZVQv1WJQvJAKbGrKCXHd6XavVVB5AMZHzaQNRD tzPry00Ib16tVj/qJsNuaPI8PyHzN/T6qx2FsfVWK091JeEi7Q6+8zMlqUpi7n5p 8GK0pVD5buFILu+tKay8ELBBSRNXN/YN6ZQqVChVuSDy9wNG8V7DsWn/9PhYDsbn gouZJKWXCc6DEaUWQ2jQLEdXeiD1RS9X