From 9835ccd77086aea53a22be842452092966c56c55 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 30 Jan 2008 16:29:04 +0000 Subject: [PATCH] added meta for the new kernel --- helm/software/components/METAS/meta.helm-ng_kernel.src | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 helm/software/components/METAS/meta.helm-ng_kernel.src diff --git a/helm/software/components/METAS/meta.helm-ng_kernel.src b/helm/software/components/METAS/meta.helm-ng_kernel.src new file mode 100644 index 000000000..3c2422a93 --- /dev/null +++ b/helm/software/components/METAS/meta.helm-ng_kernel.src @@ -0,0 +1,5 @@ +requires="helm-cic_proof_checking" +version="0.0.1" +archive(byte)="ng_kernel.cma" +archive(native)="ng_kernel.cmxa" +linkopts="" -- 2.39.2