From dfaf0c7329af77555ce5fdeedaa87b13d1e23697 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Wed, 5 Oct 2005 09:01:07 +0000 Subject: [PATCH] added hmysql dependency --- helm/ocaml/metadata/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/ocaml/metadata/Makefile b/helm/ocaml/metadata/Makefile index afacda168..c876b4810 100644 --- a/helm/ocaml/metadata/Makefile +++ b/helm/ocaml/metadata/Makefile @@ -1,5 +1,5 @@ PACKAGE = metadata -REQUIRES = mysql helm-cic_proof_checking +REQUIRES = mysql helm-cic_proof_checking helm-hmysql PREDICATES = INTERFACE_FILES = \ -- 2.39.2