X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2F.depend;h=db4ea67e136ca78f420a2e3d3f9dfc5d00fc0bf8;hb=e09713d333183e929f108ff8bb8fbe2a25bfcac7;hp=6e584762d6db1575bbaefb9eee51789990fa0a8b;hpb=078455b9769cf65c58d84d07459f20ca6dfd8cda;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/.depend b/helm/DEVEL/ocaml-http/.depend
index 6e584762d..db4ea67e1 100644
--- a/helm/DEVEL/ocaml-http/.depend
+++ b/helm/DEVEL/ocaml-http/.depend
@@ -1,5 +1,3 @@
-http_client.cmo: http_client.cmi 
-http_client.cmx: http_client.cmi 
 http_common.cmo: http_constants.cmi http_types.cmo http_common.cmi 
 http_common.cmx: http_constants.cmx http_types.cmx http_common.cmi 
 http_constants.cmo: http_constants.cmi 
@@ -34,6 +32,10 @@ http_response.cmx: http_common.cmx http_constants.cmx http_daemon.cmx \
     http_message.cmx http_misc.cmx http_types.cmx http_response.cmi 
 http_tcp_server.cmo: http_threaded_tcp_server.cmi http_tcp_server.cmi 
 http_tcp_server.cmx: http_threaded_tcp_server.cmi http_tcp_server.cmi 
+http_user_agent.cmo: http_common.cmi http_misc.cmi http_parser.cmi \
+    http_user_agent.cmi 
+http_user_agent.cmx: http_common.cmx http_misc.cmx http_parser.cmx \
+    http_user_agent.cmi 
 http_common.cmi: http_types.cmo 
 http_constants.cmi: http_types.cmo 
 http_daemon.cmi: http_types.cmo