Re: Droit de distribuer la doc de coq

[Sven Luther <sven.luther@wanadoo.fr>]

On Fri, Jan 21, 2005 at 07:07:19AM +0100, Christian Perrier wrote:
> Quoting Samuel Mimram (samuel.mimram@ens-lyon.org):
> 
> > 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