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

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

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

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

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.

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,

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:

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