X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2FMETA.helm-mathql_interpreter.src;fp=helm%2Focaml%2FMETA.helm-mathql_interpreter.src;h=7247741fd981f55f2d2fc32218dab7f5b10ed66e;hb=08b1b83b48946f13c5a13d2e583acf145eea0a41;hp=0000000000000000000000000000000000000000;hpb=edcc98f6e60c3ffc481082b5c28349219c3883df;p=helm.git

diff --git a/helm/ocaml/META.helm-mathql_interpreter.src b/helm/ocaml/META.helm-mathql_interpreter.src
new file mode 100644
index 000000000..7247741fd
--- /dev/null
+++ b/helm/ocaml/META.helm-mathql_interpreter.src
@@ -0,0 +1,5 @@
+requires="helm-urimanager postgres natile-galax"
+version="0.0.1"
+archive(byte)="mathql_interpreter.cma"
+archive(native)="mathql_interpreter.cmxa"
+linkopts=""