Re: Re: PHP non-free or wrongly named?

2005-02-22 Thread Glenn Maynard
On Wed, Feb 23, 2005 at 07:18:37AM +0100, Alban browaeys wrote: > I would say that debian does not treat trademark as a licence. Else we > could not release with the debian "release" logo , nor the debian > trademarked name. > That would be pretty cool :) That's broken reasoning; it's like saying

Re: Re: PHP non-free or wrongly named?

2005-02-22 Thread Alban browaeys
I would say that debian does not treat trademark as a licence. Else we could not release with the debian "release" logo , nor the debian trademarked name. That would be pretty cool :) I am out of laugh thinking of we tellling the release manager "ehrm sorry we have an RC on debian, it is not free.

Re: Are Debian logos still non-free?

2005-02-22 Thread Francesco Poli
On 22 Feb 2005 15:07:32 GMT MJ Ray wrote: > I think your general point is correct, but the concrete example is > not fine at the moment, according to http://www.uk.debian.org/logos/ > and the copyright statement shown there. This is a bug. But, as Martin said, it's being worked on. --

Re: Are Debian logos still non-free?

2005-02-22 Thread Francesco Poli
On Tue, 22 Feb 2005 13:51:57 + Lewis Jardine wrote: > If this is the case, then Debian could make itself easy to rebrand by > ensuring that all uses of the Debian logo to brand the distribution > are in one location; distributing it is fine, so no-one would have to > worry about accidentally

Re: Are Debian logos still non-free?

2005-02-22 Thread Francesco Poli
On Tue, 22 Feb 2005 08:25:06 + Andrew Suffield wrote: > > With this in mind, I would say Debian wants to stay in the former > > kind of trademark encumbered works... > > Thus, no trademarked logos in main or contrib, right? Just to clarify, here I was referring to trademarked *Debian* logos.

Re: PHP non-free or wrongly named?

2005-02-22 Thread Joel Aelwyn
On Tue, Feb 22, 2005 at 03:31:22AM +, MJ Ray wrote: > Joel Aelwyn <[EMAIL PROTECTED]> wrote: [...] > > "You may not have any cookies right now". > > > > It's a reflexive negation rewording of "May I " -> "You may not ". > [snip] > > Well, that's fine, but if I don't need your permission in or

Re: Bug#296369: ITP: spin -- Powerfull model checking and software verification tool

2005-02-22 Thread Rich Walker
Eike Dehling <[EMAIL PROTECTED]> writes: [snip] > As stated on their website: > > > " Spin is distributed in source form to encourage research in formal > verification, and to help a > support friendly and open exchange of algorithms, ideas, and tools. The > software itself has a > copyright fro

Re: Are Debian logos still non-free?

2005-02-22 Thread MJ Ray
Lewis Jardine <[EMAIL PROTECTED]> wrote: > Would I be correct in saying that as long as copyright is not infringed, > it is fine to distribute art that is used as a trademark, as long as > you do not use it as a trademark. As a concrete example, if I were to > distribute 'foo Linux', that contai

Re: handling Mozilla with kid gloves [was: GUADEC report]

2005-02-22 Thread Martin Michlmayr - Debian Project Leader
* MJ Ray <[EMAIL PROTECTED]> [2005-01-26 03:29]: > I think that http://www.debian.org/legal/licenses/ is a mistake which > should be removed or drastically changed. It divides debian-legal and > has been a gift to those who always seek to criticise contributors on > more than one occasion. Can you

Re: Bug#296369: ITP: spin -- Powerfull model checking and software verification tool

2005-02-22 Thread Lewis Jardine
Jacobo Tarrio wrote: O Martes, 22 de Febreiro de 2005 Ãs 13:54:18 +0100, Eike Dehling escribÃa: isn't commercial, so it doesn't apply here. The first sentence even encourages redistribution/modification, i'd think? How much of a problem is the restriction on commercial use, when non-commercial us

Re: Bug#296369: ITP: spin -- Powerfull model checking and software verification tool

2005-02-22 Thread Eike Dehling
Matthew Palmer wrote: Is what was quoted above the sum total of the "permission text" that comes with spin? I don't see anything in what you quoted above which gives the right to modify and/or redistribute spin. It says "Spin is distributed in source form to encourage research in formal verificat

Re: Are Debian logos still non-free?

2005-02-22 Thread Lewis Jardine
On Mon, Feb 21, 2005 at 10:28:32PM +0100, Francesco Poli wrote: On Sun, 20 Feb 2005 21:12:37 + Andrew Suffield wrote: Formally stated, it's approximately "trademarks cannot make a work strictly non-free, but you may have to replace all instances of the trademark with something else". Depending

Re: Bug#296369: ITP: spin -- Powerfull model checking and software verification tool

2005-02-22 Thread Matthew Garrett
Eike Dehling <[EMAIL PROTECTED]> wrote: > " Spin is distributed in source form to encourage research in formal > verification, and to help a support friendly and open exchange of > algorithms, ideas, and tools. The software itself has a copyright from > Lucent Technologies and Bell Laboratories

Re: Bug#296369: ITP: spin -- Powerfull model checking and software verification tool

2005-02-22 Thread Jacobo Tarrio
O Martes, 22 de Febreiro de 2005 ás 13:54:18 +0100, Eike Dehling escribía: > So unless someone uses it commercially no license applies. Debian itself A license is a permission grant. No license == no permission. > isn't commercial, so it doesn't apply here. The first sentence even > encourage

Re: Bug#296369: ITP: spin -- Powerfull model checking and software verification tool

2005-02-22 Thread Matthew Palmer
On Tue, Feb 22, 2005 at 01:54:18PM +0100, Eike Dehling wrote: > " Spin is distributed in source form to encourage research in formal > verification, and to help a support friendly and open exchange of > algorithms, ideas, and tools. The software itself has a copyright from > Lucent Technologies

Re: Bug#296369: ITP: spin -- Powerfull model checking and software verification tool

2005-02-22 Thread Eike Dehling
Glenn Maynard wrote: On Tue, Feb 22, 2005 at 02:31:03AM +0100, Eike Dehling wrote: * Package name: spin * URL : http://www.spinroot.com/ * License : Free(as in, no license) for non-commercial use, commercial use requires this license:

Re: Are Debian logos still non-free?

2005-02-22 Thread Andrew Suffield
On Mon, Feb 21, 2005 at 10:28:32PM +0100, Francesco Poli wrote: > On Sun, 20 Feb 2005 21:12:37 + Andrew Suffield wrote: > > > Formally stated, it's approximately "trademarks cannot make a work > > strictly non-free, but you may have to replace all instances of the > > trademark with something