From 08b1b83b48946f13c5a13d2e583acf145eea0a41 Mon Sep 17 00:00:00 2001 From: no author Date: Tue, 22 Oct 2002 08:51:51 +0000 Subject: [PATCH] This commit was manufactured by cvs2svn to create branch 'unlabeled-1.3.2'. --- helm/ocaml/META.helm-mathql_interpreter.src | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 helm/ocaml/META.helm-mathql_interpreter.src 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="" -- 2.39.2