]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/hmysql/.depend
dependences update
[helm.git] / helm / software / components / hmysql / .depend
index ce439d961c5806d62c02572a1790a6b6591aad1a..179a7a5ef2418547511980f25f459b9da81a5b48 100644 (file)
@@ -1,7 +1,7 @@
-hSql.cmi
-hSqlite3.cmo
-hSqlite3.cmx
-hMysql.cmo
-hMysql.cmx
-hSql.cmo: hSqlite3.cmo hMysql.cmo hSql.cmi 
-hSql.cmx: hSqlite3.cmx hMysql.cmx hSql.cmi 
+hSql.cmi :
+hSqlite3.cmo :
+hSqlite3.cmx :
+hMysql.cmo :
+hMysql.cmx :
+hSql.cmo : hSqlite3.cmo hMysql.cmo hSql.cmi
+hSql.cmx : hSqlite3.cmx hMysql.cmx hSql.cmi