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
It is weird question, since these examples are simple, I guess you rewrote most of them for doing anything real.
I'm open to relicensing, but we shall talk for it yo happen
... and if I rewrite them after looking at them, must I talk to a lawyer to determine if this is a license violation?
the question, BTW, is from me personally (I have not consulted my colleagues on this suggestion)
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.
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: Jun 06 2023 at 23:01 UTC