X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fhmysql%2F.depend;h=d0d29cbd2cd835163df480c5e4cad61448620d58;hb=e1f0bb910f75b8b21f2c5e394ebb4c5a63ef4945;hp=e67a0660ce681197fe6659b67fdda100e1abceb9;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git diff --git a/helm/software/components/hmysql/.depend b/helm/software/components/hmysql/.depend index e67a0660c..d0d29cbd2 100644 --- 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: hSql.cmi +hSql.cmx: hSql.cmi