Re: splitting the ocaml package ???

[Georges Mariano <georges.mariano@inrets.fr>]

Jean-Francois Monin wrote:
> 
> I really don't see how ocaml and coq may depend on X (in the sense, I
> suppose, if Xfree). Except, maybe, for borderline things like emacs
> mode ? Then they should be considered separately. CamlTk in another
> story and is packaged separately I guess.

Well, I didn't take the time to check the dependencies of these packages.
(part of) The answer  is in this page :
http://packages.debian.org/unstable/devel/ocaml.html

and of course (I should have think about that!!!) coq depends on X(free)
simply because coq depends on ocaml ...................

So, I think that when the dependencies for ocaml will be more "smart",
there will be no more problem for coq.


PS : by the way, who knows Fernando Sanchez ?? (fer@debian.org)
is he on the list ???

cheers
-- 
# Georges MARIANO                 tel: (33) 03 20 43 84 06
# INRETS, 20 rue Elisee Reclus    fax: (33) 03 20 43 83 59
# 59650 Villeneuve d'Ascq         mailto:georges.mariano@inrets.fr
# FRANCE.                         
# http://www3.inrets.fr/Public/ESTAS/Mariano.Georges/
# http://www3.inrets.fr/B-Bibliography/