From 99ab08a9f5f1d2da9cfc6ccf86311d0ebb1fbc51 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Mon, 9 Feb 2004 17:05:16 +0000 Subject: [PATCH] helm-thread's META --- helm/ocaml/METAS/meta.helm-thread.src | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 helm/ocaml/METAS/meta.helm-thread.src diff --git a/helm/ocaml/METAS/meta.helm-thread.src b/helm/ocaml/METAS/meta.helm-thread.src new file mode 100644 index 000000000..43228b1bb --- /dev/null +++ b/helm/ocaml/METAS/meta.helm-thread.src @@ -0,0 +1,5 @@ +requires="threads" +version="0.0.1" +archive(byte)="thread.cma" +archive(native)="thread.cmxa" +linkopts="" -- 2.39.2