X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgetter%2F.depend;h=c51f1a8e4abb83b2be03ca991ef12d102fc10a16;hb=03d1ddf4a7fdf03fd497babd84d1963048253f0d;hp=2013e9b3e1b07b789ed8fddfa5a9c05990d2b350;hpb=298fa826610192b1a173c81b4ebf961c1c7e6609;p=helm.git diff --git a/helm/ocaml/getter/.depend b/helm/ocaml/getter/.depend index 2013e9b3e..c51f1a8e4 100644 --- a/helm/ocaml/getter/.depend +++ b/helm/ocaml/getter/.depend @@ -1,6 +1,6 @@ configuration.cmo: configuration.cmi configuration.cmx: configuration.cmi -clientHTTP.cmo: configuration.cmi clientHTTP.cmi -clientHTTP.cmx: configuration.cmx clientHTTP.cmi +clientHTTP.cmo: clientHTTP.cmi +clientHTTP.cmx: clientHTTP.cmi getter.cmo: clientHTTP.cmi configuration.cmi getter.cmi getter.cmx: clientHTTP.cmx configuration.cmx getter.cmi