Re: Dpkg in Ocaml
David Brown <firstname.lastname@example.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).