From 6c384ea974e161acb78eaa7fcea87950f801fd0b Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 11 Apr 2008 15:20:27 +0000 Subject: [PATCH] added depndency of new kernel to metadata to allow to use the DB to calculate the minimum set of graphs to load --- helm/software/components/METAS/meta.helm-ng_kernel.src | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/components/METAS/meta.helm-ng_kernel.src b/helm/software/components/METAS/meta.helm-ng_kernel.src index 3c2422a93..acf5aab9e 100644 --- a/helm/software/components/METAS/meta.helm-ng_kernel.src +++ b/helm/software/components/METAS/meta.helm-ng_kernel.src @@ -1,4 +1,4 @@ -requires="helm-cic_proof_checking" +requires="helm-cic_proof_checking helm-library helm-metadata" version="0.0.1" archive(byte)="ng_kernel.cma" archive(native)="ng_kernel.cmxa" -- 2.39.2