]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/pxp/netstring/depend
Initial revision
[helm.git] / helm / DEVEL / pxp / netstring / depend
diff --git a/helm/DEVEL/pxp/netstring/depend b/helm/DEVEL/pxp/netstring/depend
new file mode 100644 (file)
index 0000000..5991264
--- /dev/null
@@ -0,0 +1,36 @@
+base64.cmo: netencoding.cmi base64.cmi 
+base64.cmx: netencoding.cmx base64.cmi 
+cgi.cmo: mimestring.cmi netbuffer.cmi netencoding.cmi netstream.cmi cgi.cmi 
+cgi.cmx: mimestring.cmx netbuffer.cmx netencoding.cmx netstream.cmx cgi.cmi 
+mimestring.cmo: netbuffer.cmi netencoding.cmi netstream.cmi netstring_str.cmi \
+    mimestring.cmi 
+mimestring.cmx: netbuffer.cmx netencoding.cmx netstream.cmx netstring_str.cmx \
+    mimestring.cmi 
+netbuffer.cmo: netbuffer.cmi 
+netbuffer.cmx: netbuffer.cmi 
+netconversion.cmo: netmappings.cmi netconversion.cmi 
+netconversion.cmx: netmappings.cmx netconversion.cmi 
+netencoding.cmo: netstring_str.cmi netencoding.cmi 
+netencoding.cmx: netstring_str.cmx netencoding.cmi 
+nethtml.cmo: nethtml.cmi 
+nethtml.cmx: nethtml.cmi 
+netmappings.cmo: netmappings.cmi 
+netmappings.cmx: netmappings.cmi 
+netmappings_iso.cmo: netmappings.cmi 
+netmappings_iso.cmx: netmappings.cmx 
+netmappings_other.cmo: netmappings.cmi 
+netmappings_other.cmx: netmappings.cmx 
+netstream.cmo: netbuffer.cmi netstream.cmi 
+netstream.cmx: netbuffer.cmx netstream.cmi 
+netstring_mt.cmo: cgi.cmi netmappings.cmi netstring_str.cmi netstring_mt.cmi 
+netstring_mt.cmx: cgi.cmx netmappings.cmx netstring_str.cmx netstring_mt.cmi 
+netstring_str.cmo: netstring_str.cmi 
+netstring_str.cmx: netstring_str.cmi 
+netstring_top.cmo: netstring_top.cmi 
+netstring_top.cmx: netstring_top.cmi 
+neturl.cmo: netencoding.cmi neturl.cmi 
+neturl.cmx: netencoding.cmx neturl.cmi 
+cgi.cmi: netstream.cmi 
+mimestring.cmi: netstream.cmi 
+netmappings.cmi: netconversion.cmi 
+netstream.cmi: netbuffer.cmi