Reconsidering the GPL licensing of Maxima

Richard Fateman  writes:

> Jay Belanger wrote:
>
>>
>>
>> I'm not sure what you're arguing here; I've never heard anyone argue
>> that a file you got from a non-GPLed source is GPLed because there is
>> a GPL copy somewhere.
>
> Not quite.  To try to restate... If the same file appears under GPL and
> under BSD,  and you have a copy of that file, is it under GPL?  I think not.

Probably not.

> Does it matter whether your copy originated from the file under GPL or
> the other one?  I think you are arguing that it does matter.

Where did I suggest that?  I was asking what you were arguing.
It'd be too easy, though, to take a file from a GPL source and say
"I'm sure this file is licensed differently elsewhere, I'll just take
this."  If you have the source with a different license, why not just
take it from there in the first place?

Jay