[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Droit de distribuer la doc de coq

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.


Stefano Zacchiroli -*- Computer Science PhD student @ Uny Bologna, Italy
zack@{cs.unibo.it,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. -!-

Attachment: signature.asc
Description: Digital signature

Reply to: