Stream: Elpi users & devs

Topic: LGPL license of examples and `apps` in coq-elpi


view this post on Zulip Paolo Giarrusso (Oct 11 2022 at 19:05):

It seems https://github.com/LPCIC/coq-elpi/tree/master/apps and https://github.com/LPCIC/coq-elpi/tree/master/examples are also covered by the LGPL license — meaning that following the examples under a different license is a copyright violation.

This is of course the authors' right, but I was wondering if this was intentional (and apologies if this is rude), or whether more liberal licenses would be sensible for either of those folders, especially examples.

view this post on Zulip Enrico Tassi (Oct 11 2022 at 19:12):

It is weird question, since these examples are simple, I guess you rewrote most of them for doing anything real.

view this post on Zulip Enrico Tassi (Oct 11 2022 at 19:13):

I'm open to relicensing, but we shall talk for it yo happen

view this post on Zulip Paolo Giarrusso (Oct 11 2022 at 22:07):

... and if I rewrite them after looking at them, must I talk to a lawyer to determine if this is a license violation?

view this post on Zulip Paolo Giarrusso (Oct 11 2022 at 22:15):

the question, BTW, is from me personally (I have not consulted my colleagues on this suggestion)

view this post on Zulip Enrico Tassi (Oct 12 2022 at 08:24):

I think it boils down to energy (hence money) investment. If you rewrite it bu running "elpiformat" (which does not exist) or sed, then your effort is little. If you rewrite it as in make something clearly larger out of it, then it is OK. Or at least this is my understanding of copyright, it is to cover monetary interests, I don't think I can claim you did steal because your started from a "hello world!" and turned it into an operating system.

Anyway, if you have a better (legally supported) reason for relicensing the POC/examples, I'm positive. After all I put them there so that people could start from something and grow it to their needs.

view this post on Zulip Enrico Tassi (Oct 12 2022 at 08:27):

To make a joke out of my understanding of law: if you use printf you are not making a derivative work of hello world ;-)


Last updated: Feb 05 2023 at 13:02 UTC