Re: Droit de distribuer la doc de coq

2005-01-21 Thread Sven Luther
On Fri, Jan 21, 2005 at 07:07:19AM +0100, Christian Perrier wrote:
 Quoting Samuel Mimram ([EMAIL PROTECTED]):
 
  De plus, le package ira dans la section non-free de Debian, sauf si vous 
  choisissez une licence libre pour cette doc (la licence ci-dessus ne 
  l'est pas).
 
 
 Maybe explaining to the people you're talking to why this licence is
 not considered DFSG-compliant would help them. I would maybe help some
 people here as well..:-)

* Any translation or derivative work of the Objective Caml
documentation and user's manual must be approved by the authors in
writing before distribution.

This is clearly non-free, since it doesn't allow modification without extra
work. As far as i remember, this is the only issue.

Friendly,

Sven Luther


-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]



Re: Droit de distribuer la doc de coq

2005-01-21 Thread Claudio Sacerdoti Coen
 Dear Samuel,

 I talked with Hugo a few days back about it. It was not done yet just
 because we do not know what is the licence that would better fit the debian
 packagers. From the answer of Sven I am a bit confused: is the suggestion
 of Samuel (grabbing sentences from the ocaml manual licence) OK or not to
 have it in main?

Cheers,
C.S.C.

-- 

Real name: Claudio Sacerdoti Coen
Doctor in Computer Science, University of Bologna
E-mail: [EMAIL PROTECTED]
http://www.cs.unibo.it/~sacerdot



-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]



Re: Droit de distribuer la doc de coq

2005-01-21 Thread Stefano Zacchiroli
On Fri, Jan 21, 2005 at 10:58:05AM +0100, Claudio Sacerdoti Coen wrote:
  I talked with Hugo a few days back about it. It was not done yet just
  because we do not know what is the licence that would better fit the debian
  packagers. From the answer of Sven I am a bit confused: is the suggestion
  of Samuel (grabbing sentences from the ocaml manual licence) OK or not to
  have it in main?

No, it is not.

In order to be in main the license should also permit modification of
the doc.

GFDL is ok, but only for the next release, so I suggest not to use it.

The best choice is definitely plain GPL or similar statement.

Cheers.

-- 
Stefano Zacchiroli -*- Computer Science PhD student @ Uny Bologna, Italy
[EMAIL PROTECTED],debian.org,bononia.it} -%- http://www.bononia.it/zack/
If there's any real truth it's that the entire multidimensional infinity
of the Universe is almost certainly being run by a bunch of maniacs. -!-


signature.asc
Description: Digital signature


Re: Droit de distribuer la doc de coq

2005-01-21 Thread Samuel Mimram
Stefano Zacchiroli wrote:
On Fri, Jan 21, 2005 at 10:58:05AM +0100, Claudio Sacerdoti Coen wrote:
I talked with Hugo a few days back about it. It was not done yet just
because we do not know what is the licence that would better fit the debian
packagers. From the answer of Sven I am a bit confused: is the suggestion
of Samuel (grabbing sentences from the ocaml manual licence) OK or not to
have it in main?
No, it is not.
In order to be in main the license should also permit modification of
the doc.
Yes, sorry for the confusion. I gave the example of the OCaml manual's 
license because it looked like the easiest solution because you 
wouldn't have to change anything (i.e. distribute the sources, allow 
modifications, etc.) to the current way the doc is distributed. But it 
would *not* be free (and thus would have to go in non-free).

Clearly if you're willing to put the documentation under a free licence 
(GPL or BSD for example), it would be the best.

GFDL is ok, but only for the next release, so I suggest not to use it.
Ah? I thought the consensus was more like GFDL is not acceptable for 
Debian, maily because of the reasons explained in [1] but I might have 
missed something.

Regards,
Samuel.
[1] http://people.debian.org/%7Esrivasta/Position_Statement.xhtml
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]


Re: Droit de distribuer la doc de coq

2005-01-21 Thread Samuel Mimram
Samuel Mimram wrote:
GFDL is ok, but only for the next release, so I suggest not to use it.
Ah? I thought the consensus was more like GFDL is not acceptable for 
Debian, maily because of the reasons explained in [1] but I might have 
missed something.
Oops sorry, I read from the next release.
Sam.
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]


It was he, of

2005-01-21 Thread Wilford Childers
Order Number: 633721
Order Date:   Fri, 21 Jan 2005 17:06:16 +0400

We appreciate your patience in the processing of your
m o rrtgage   request.

We have prepared 3.4% deal for you at this time. Verify
your information so we can proceed as planned.

http://www.xpojga.com/

Thank you.

Sincerely,
Wilford Childers
CustomerDepartment












wolfish to dynamic tighten
davit at Ohashish of out fiend
alaska - we flurry our with canaveral
me no objector. Eindividual inshore essay
in by Cinvasive are vile
adoptive of fritter? for any driveway
of backwood or dolomitic
underling - me was both


-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]



Re: Droit de distribuer la doc de coq

2005-01-21 Thread Sven Luther
On Fri, Jan 21, 2005 at 10:58:05AM +0100, Claudio Sacerdoti Coen wrote:
  Dear Samuel,
 
  I talked with Hugo a few days back about it. It was not done yet just
  because we do not know what is the licence that would better fit the debian
  packagers. From the answer of Sven I am a bit confused: is the suggestion
  of Samuel (grabbing sentences from the ocaml manual licence) OK or not to
  have it in main?

Definitively not, since the ocaml-doc package is in non-free.

I don't know what licence you want to place the manual under, but please avoid
the GFDL, since it is in the center of a more or less un-ending flamewar
between debian and the FSF.

I would go for the same licence as you use for the source code, much easier
and logical that way. After all if you allow someone to modify your code, it
is logical to allow for the same modification rights for the documentation
relative to said code, so if someone modifies a code feature, he can modify
the corresponding documentation to this manual.

Hope this makes it clear ? 

Friendly,

Sven Luther


-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]



Re: Droit de distribuer la doc de coq

2005-01-21 Thread Sven Luther
On Fri, Jan 21, 2005 at 12:27:52PM +0100, Stefano Zacchiroli wrote:
 On Fri, Jan 21, 2005 at 10:58:05AM +0100, Claudio Sacerdoti Coen wrote:
   I talked with Hugo a few days back about it. It was not done yet just
   because we do not know what is the licence that would better fit the debian
   packagers. From the answer of Sven I am a bit confused: is the suggestion
   of Samuel (grabbing sentences from the ocaml manual licence) OK or not to
   have it in main?
 
 No, it is not.
 
 In order to be in main the license should also permit modification of
 the doc.
 
 GFDL is ok, but only for the next release, so I suggest not to use it.

ARGH, NO, PLEASE NOT GFDL. GFDL is currently only tolerated, but will probably
be quicked out of sarge+1 if the FSF doesn't see the light or whatever.

 The best choice is definitely plain GPL or similar statement.

The best choice is a licence similar to the source code which it documents :)

Friendly,

Sven Luther


-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]