Added initial support for inversion principles in Matita NG.

[helm.git] / helm / software / components / hmysql / .depend

diff --git a/helm/software/components/hmysql/.depend b/helm/software/components/hmysql/.depend
index e67a0660ce681197fe6659b67fdda100e1abceb9..16e6e9da7ff478b574edcc5f5756da5ac302ed34 100644 (file)
--- a/helm/software/components/hmysql/.depend
+++ b/helm/software/components/hmysql/.depend
@@ -1,2 +1,2 @@
-hMysql.cmo: hMysql.cmi 
-hMysql.cmx: hMysql.cmi 
+hSql.cmo: hSqlite3.cmo hMysql.cmo hSql.cmi 
+hSql.cmx: hSqlite3.cmx hMysql.cmx hSql.cmi