please help clarifying the copyright situation #115

Closed
josch opened this Issue Jan 19, 2014 · 10 comments

Comments

Projects
None yet
5 participants

josch commented Jan 19, 2014

Hi,

I packaged ocp-indent for Debian, but first the copyright situation needs to be clear. Here is an overview of what I came up with so far:

Files: src/approx_common.mli
       src/approx_tokens.ml
Copyright: 2011-2012 OCamlPro
           1996-2011 INRIA
License: LGPL-3

Files: src/approx_lexer.mll
Copyright: 1996 INRIA
License: QPL

Files: src/indentBlock.ml*
       src/indentMain.ml
       src/nstream.ml*
       src/pos.ml*
       src/util.ml
Copyright: 2011 Jun Furuse
           2012-2013 OCamlPro
License: LGPL-3

Files: src/indentArgs.ml*
       src/indentConfig.ml
Copyright: 2011 Jun Furuse
           2013 OCamlPro
License: LGPL-3

Files: src/indentConfig.mli
Copyright: 2013 OCamlPro
License: LGPL-3

Files: src/indentPrinter.ml*
Copyright: 2012-2013 OCamlPro
License: LGPL-3

I extracted that information from the individual source code file headers. Does this summary look correct to you?

Here are several additional possible issues:

In the toplevel directory there is a LICENSE file which contains the ocaml linking exception to the LGPL3. But in each source file it states that the file is licensed under LGPL3 and does not mention the linking exception anymore. What are the files in src/ licensed under? LGPL3 or LGPL3 with linking exception?

The files in ./tools, ./doc, ./tests, ./src/ocaml_3 and ./src/ocaml_4 are missing copyright headers. I assume that these files are licensed under the LGPL3 with linking exception as suggested by the LICENSE file in the top level directory? Who are the authors of these files? Are the git authors for these files correct? In this case they would be "Louis Gesbert" and "Thomas Gazagnaire"?

The file src/approx_lexer.mll contains a number of copyright statements but I assume that the one which applies to this file is the last one stating the QPL and INRIA as the copyright holder? Is there an alternative for this file because it is debated whether the QPL is free enough for Debian.

Thanks!

josch commented Jan 19, 2014

Please disregard the paragraph about ./src/approx_lexer.mll. Ocaml upstream relicensed its codebase under QPL 1.0 with an exception wihch removes clause 6c which otherwise makes QPL Debian non-free. So ./src/approx_lexer.mll should be no problem for Debian.

Owner

lefessan commented Jan 19, 2014

approx_lexer.mll is partly taken from the sources of the OCaml compiler, which are under QPL with exception. As OCamlPro is part of the Caml Consortium, we are allowed to distribute such files under a difference license. So, if needed, we can switch the license of this file to LGPLv3 to have a more consistent licensing scheme.

josch commented Jan 19, 2014

Hi, thanks for your quick reply :)
Since QPL with exception is okay for Debian it is not necessary to change its license. I just need to precisely know which file is licensed under which conditions and who is the copyright holder. Is my summary above correct?
But yes, sure it would make things easier to make everything LGPL3 :)

avsm commented Jan 19, 2014

I believe the Consortium license only allows you to relicense the compiler file under a 3-clause BSD license, not the LGPLv3.

Contributor

hcarty commented Jan 19, 2014

Not to nit pick, but it's a four clause BSD license according to http://caml.inria.fr/consortium/license.en.html

avsm commented Jan 19, 2014

That's an important distinction actually, since the 4-clause is incompatible with the GPL. Needs clarification with INRIA to find out if they've redacted the 4th clause (as Berkeley has done for their version since 1999).

-anil

On 19 Jan 2014, at 17:56, Hezekiah M. Carty notifications@github.com wrote:

Not to nit pick, but it's a four clause BSD license according to http://caml.inria.fr/consortium/license.en.html


Reply to this email directly or view it on GitHub.

avsm commented Jan 19, 2014

I interpret that to mean that you can add additional restrictions (such as the LGPLv3) but not remove the conditions that they list after "subject to the following conditions"

Member

AltGr commented Jan 20, 2014

@josch: first of all, thanks a lot for your interest, willingness to package and review of the licenses !
The LGPL files should all be with linking exception, and the files witouht headers as well. I'll clarify that and fix the headers, then get back to you.

josch commented Jan 20, 2014

Thanks a lot! :)

AltGr closed this in 845d6a6 Feb 3, 2014

Member

AltGr commented Feb 3, 2014

@josch, sorry for the lag, I just fixed all headers :

Files: src/approx_tokens.ml src/approx_lexer.mll
Copyright: 2011-2013 OCamlPro
           1996-2011 INRIA
License: QPL 1.0

Files: src/indentBlock.ml*
       src/indentMain.ml
       src/nstream.ml*
       src/pos.ml*
       src/util.ml
Copyright: 2011 Jun Furuse
           2012-2013 OCamlPro
License: LGPL-3 + linking exception

Files: src/indentArgs.ml*
       src/indentConfig.ml
Copyright: 2011 Jun Furuse
           2013 OCamlPro
License: LGPL-3 + linking exception

Files: src/indentConfig.mli
Copyright: 2013 OCamlPro
License: LGPL-3 + linking exception

Files: src/indentPrinter.ml*
Copyright: 2012-2013 OCamlPro
License: LGPL-3 + linking exception

I've also added LGPL 3 + linking exception headers to the files in tools/ and the test script. tools/ocp-indent.vim has additional authors Raphael Proust and Rudi Grinberg.

Hope that answers all your questions ?
Thanks a lot for the packaging effort :)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment