From 5bfbfe366b9f635486d497ed9a5f2b48f83d6846 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Mon, 19 Apr 2004 12:10:20 +0000 Subject: [PATCH] added hbugs' (client) meta --- helm/ocaml/METAS/meta.helm-hbugs.src | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 helm/ocaml/METAS/meta.helm-hbugs.src diff --git a/helm/ocaml/METAS/meta.helm-hbugs.src b/helm/ocaml/METAS/meta.helm-hbugs.src new file mode 100644 index 000000000..3c79fd96f --- /dev/null +++ b/helm/ocaml/METAS/meta.helm-hbugs.src @@ -0,0 +1,4 @@ +requires="pcre http lablgtk2.glade helm-thread helm-xml helm-pxp helm-tactics" +version="0.0.1" +archive(byte)="hbugs.cma" +archive(native)="hbugs.cmxa" -- 2.39.2