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

Re: Dpkg in Ocaml

David Brown <caml-list@davidb.org> 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

Reply to: