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). I don't think the Debian developers would be all that keen making the core Debian package dependent on a non-free tool. Dave Brown
