David Brown <[EMAIL PROTECTED]> writes: > On Thu, Dec 05, 2002 at 08:15:27AM +0100, Sven Luther wrote: > >> Now, another problem is that a coq/ocaml solution is something very very >> remote from what debian developpers are used to, and the step to entry >> for people to work on it and do modification and bug fixes (or more >> probably new features, since hopefully there would be no bugs) would be >> quite high. > > There is a deeper, fundamental, issue here. The ocaml compiler doesn't > comply with the Debian Free Software Guidelines, it is in the non-free > section. (This library does).
Weak up. Ocaml has moved to main for sometime know (the change of the ocaml licence was 3 year ago I believe, I don't know for the debian package, but it should be more or less the same). -- Rémi Vanicat [EMAIL PROTECTED] http://dept-info.labri.u-bordeaux.fr/~vanicat
