Re: splitting the ocaml package ???
On Fri, Mar 23, 2001 at 11:24:26 +0100, Georges Mariano wrote:
> Same note about 'coq' package which seems to depend on X, [trying to
> install the package this morning leads to a long list of upgrade including
> X stuff !!]
> is this really necessary ??
It surely could not be.
Cheers,
C.S.C.
--
----------------------------------------------------------------
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: sacerdot@cs.unibo.it
http://caristudenti.cs.unibo.it/~sacerdot
----------------------------------------------------------------
Reply to: