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

Re: Dpkg in Ocaml



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




Reply to: