On 7/3/19 11:38 AM, Waldek Hebisch wrote:
> Ralf Hemmecke wrote:
>>
>> Hi Waldek,
>>
>> at sourceforge you link to http://fricas.sourceforge.net/copyright.txt .
>> But this file is different from
>> https://github.com/fricas/fricas/blob/master/license/LICENSE.AXIOM .
>>
>> I think you should remove LICENSE.AXIOM and rather move
>> src/etc/copyright to /licence/LICENSE, since
>>
>> I just now realised that there is a copyright file under src/etc.
>> I find that a bit confusing.
> 
> Well, LICENSE.AXIOM is original NAG licence.  Among others it says:
> 
>     - Redistributions of source code must retain the above copyright
>                                           ^^^^^^^^^^^^^^^^^^^^^^^^^^
>       notice,
>       ^^^^^^
> 
> One interpretation of the above is that we are not allowed to
> remove LICENSE.AXIOM (unless we remove all NAG provioded code).

But I was not just saying "remove LICENSE.AXIOM", but rather to also
move /src/etc/copyright to /license/LICENCE. Nobody looks into /src/etc
for a license file.

> This interpretation probably goes too far, but I think that it
> is better to keep the file.  In open source project we have more
> contributors, so more licences.  copyright.txt is supposed to
> be complete statement of _all_ involved licences.

Yes. And why not moving that file to /license/LICENCE instead of
/src/etc/copyright.txt?

The other thing is that if we remove LICENSE.AXIOM, we don't remove the
"notice". It is letter by letter included in copyright.txt. So how could
anyone claim, that we do not include the "copyright notice"?

Why would the filename LICENSE.AXIOM matter?

Ralf

-- 
You received this message because you are subscribed to the Google Groups 
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/fricas-devel/d5d32a3a-fbe9-3753-8778-8cb0e27f1da9%40hemmecke.de.
For more options, visit https://groups.google.com/d/optout.

Reply via email to