]> matita.cs.unibo.it Git - helm.git/commitdiff
rebuilt
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 20 May 2004 16:02:02 +0000 (16:02 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 20 May 2004 16:02:02 +0000 (16:02 +0000)
helm/DEVEL/ocaml-http/.depend

index 0955a90ab9e16dbf6663162dca0a69425a9e57f3..ab21af903d37d7bde620eacd16dcb91c31302a8f 100644 (file)
@@ -1,5 +1,7 @@
-http_client.cmo: http_common.cmi http_parser.cmi http_client.cmi 
-http_client.cmx: http_common.cmx http_parser.cmx http_client.cmi 
+http_client.cmo: http_common.cmi http_misc.cmi http_parser.cmi \
+    http_client.cmi 
+http_client.cmx: http_common.cmx http_misc.cmx http_parser.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