Re: Droit de distribuer la doc de coq
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: sacerdot@cs.unibo.it
http://www.cs.unibo.it/~sacerdot
----------------------------------------------------------------
Reply to: