X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=components%2FMETAS%2Fmeta.helm-hmysql.src;h=21841b5ca6c019623b48e28d86cc137eb309e22f;hb=b44a732a930584aa08f4a78371dd9ac5b405f31e;hp=144141e28ebc985d74959b26d00c8ca26a53306c;hpb=7f2444c2670cadafddd8785b687ef312158376b0;p=helm.git diff --git a/components/METAS/meta.helm-hmysql.src b/components/METAS/meta.helm-hmysql.src index 144141e28..21841b5ca 100644 --- a/components/METAS/meta.helm-hmysql.src +++ b/components/METAS/meta.helm-hmysql.src @@ -1,4 +1,4 @@ -requires="helm-registry mysql helm-extlib" +requires="helm-registry sqlite3 mysql helm-extlib" version="0.0.1" archive(byte)="hmysql.cma" archive(native)="hmysql.cmxa"