Re: splitting the ocaml package ???
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 :
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 ?? (firstname.lastname@example.org)
is he on the list ???
# 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:email@example.com