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 ?? ([EMAIL PROTECTED])
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:[EMAIL PROTECTED]
# FRANCE.
# http://www3.inrets.fr/Public/ESTAS/Mariano.Georges/
# http://www3.inrets.fr/B-Bibliography/
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
