On Thu, Dec 05, 2002 at 10:42:16AM -0800, David Brown wrote: > On Thu, Dec 05, 2002 at 04:31:09PM +0100, Sven Luther wrote: > > > > Err, what are you speaking about ? both ocaml and coq are in main, and > > > this since i took over maintainership in 98, well, at least since > > > shortly thereafter, don't remember well. There still was some issues, > > > but they were solved,a and even RMS gave its benediction. So ocaml is > > > today not less free than gcc, so i don't see what you are speaking about. > > > > To be more exact, slink shipped with ocaml 1.05, which was non-free, > > potato shipped with ocaml 2.04 which was in main. > > My appologies.
No problem, maybe my response was a bit to too strong too. > I did a 'dpkg -s ocaml' and it reported it as non-free/devel. I don't > know why it is reporting that for 3.06. It doesn't on another machine > that I have. Mmm, this happened already with ocaml-doc, and i think it was due to the old database (local on the box) not being updated. I suppose the box you tested with has been around since a long time, maybe you even upgraded it from a slink box ? Anyway, i think there is mail in the d-o-m mailing list archive about this problem as related to ocaml-doc. > If I know how to reproduce this, it might be a problem with dpkg. One more bug in dpkg ? Friendly, Sven Luther
