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

Re: Dpkg in Ocaml



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



Reply to: