Re: splitting the ocaml package ???

[Claudio Sacerdoti Coen]

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: [EMAIL PROTECTED]
http://caristudenti.cs.unibo.it/~sacerdot
----------------------------------------------------------------


--  
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]