Re: Droit de distribuer la doc de coq
On Fri, Jan 21, 2005 at 07:07:19AM +0100, Christian Perrier wrote:
> Quoting Samuel Mimram (email@example.com):
> > 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.