X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fpxp%2Fnetstring%2Fdepend;fp=helm%2FDEVEL%2Fpxp%2Fnetstring%2Fdepend;h=5991264c6dd6f2bb9ff58a3544f4419d71493f53;hb=c03d2c1fdab8d228cb88aaba5ca0f556318bebc5;hp=0000000000000000000000000000000000000000;hpb=758057e85325f94cd88583feb1fdf6b038e35055;p=helm.git

diff --git a/helm/DEVEL/pxp/netstring/depend b/helm/DEVEL/pxp/netstring/depend
new file mode 100644
index 000000000..5991264c6
--- /dev/null
+++ b/helm/DEVEL/pxp/netstring/depend
@@ -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