From 771ee8b9d122fa963881c876e86f90531bb7434f Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Fri, 3 Feb 2006 15:22:21 +0000 Subject: [PATCH] removed no longer used METAs --- helm/ocaml/METAS/meta.helm-cic_annotations.src | 5 ----- helm/ocaml/METAS/meta.helm-cic_annotations_cache.src | 5 ----- helm/ocaml/METAS/meta.helm-cic_cache.src | 5 ----- helm/ocaml/METAS/meta.helm-cic_textual_parser.src | 5 ----- helm/ocaml/METAS/meta.helm-hbugs.src | 4 ---- helm/ocaml/METAS/meta.helm-pxp.src | 5 ----- helm/ocaml/METAS/meta.helm-tex_cic_textual_parser.src | 5 ----- 7 files changed, 34 deletions(-) delete mode 100644 helm/ocaml/METAS/meta.helm-cic_annotations.src delete mode 100644 helm/ocaml/METAS/meta.helm-cic_annotations_cache.src delete mode 100644 helm/ocaml/METAS/meta.helm-cic_cache.src delete mode 100644 helm/ocaml/METAS/meta.helm-cic_textual_parser.src delete mode 100644 helm/ocaml/METAS/meta.helm-hbugs.src delete mode 100644 helm/ocaml/METAS/meta.helm-pxp.src delete mode 100644 helm/ocaml/METAS/meta.helm-tex_cic_textual_parser.src diff --git a/helm/ocaml/METAS/meta.helm-cic_annotations.src b/helm/ocaml/METAS/meta.helm-cic_annotations.src deleted file mode 100644 index 829efba0d..000000000 --- a/helm/ocaml/METAS/meta.helm-cic_annotations.src +++ /dev/null @@ -1,5 +0,0 @@ -requires="helm-cic helm-xml" -version="0.0.1" -archive(byte)="cic_annotations.cma" -archive(native)="cic_annotations.cmxa" -linkopts="" diff --git a/helm/ocaml/METAS/meta.helm-cic_annotations_cache.src b/helm/ocaml/METAS/meta.helm-cic_annotations_cache.src deleted file mode 100644 index f21ea6d02..000000000 --- a/helm/ocaml/METAS/meta.helm-cic_annotations_cache.src +++ /dev/null @@ -1,5 +0,0 @@ -requires="helm-cic_annotations helm-getter" -version="0.0.1" -archive(byte)="cic_annotations_cache.cma" -archive(native)="cic_annotations_cache.cmxa" -linkopts="" diff --git a/helm/ocaml/METAS/meta.helm-cic_cache.src b/helm/ocaml/METAS/meta.helm-cic_cache.src deleted file mode 100644 index 6aacb1ae2..000000000 --- a/helm/ocaml/METAS/meta.helm-cic_cache.src +++ /dev/null @@ -1,5 +0,0 @@ -requires="helm-cic helm-getter" -version="0.0.1" -archive(byte)="cic_cache.cma" -archive(native)="cic_cache.cmxa" -linkopts="" diff --git a/helm/ocaml/METAS/meta.helm-cic_textual_parser.src b/helm/ocaml/METAS/meta.helm-cic_textual_parser.src deleted file mode 100644 index bc4f2fcd4..000000000 --- a/helm/ocaml/METAS/meta.helm-cic_textual_parser.src +++ /dev/null @@ -1,5 +0,0 @@ -requires="helm-cic" -version="0.0.1" -archive(byte)="cic_textual_parser.cma" -archive(native)="cic_textual_parser.cmxa" -linkopts="" diff --git a/helm/ocaml/METAS/meta.helm-hbugs.src b/helm/ocaml/METAS/meta.helm-hbugs.src deleted file mode 100644 index 3c79fd96f..000000000 --- a/helm/ocaml/METAS/meta.helm-hbugs.src +++ /dev/null @@ -1,4 +0,0 @@ -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" diff --git a/helm/ocaml/METAS/meta.helm-pxp.src b/helm/ocaml/METAS/meta.helm-pxp.src deleted file mode 100644 index 6949a5712..000000000 --- a/helm/ocaml/METAS/meta.helm-pxp.src +++ /dev/null @@ -1,5 +0,0 @@ -requires="pxp-engine pxp-lex-utf8 pxp-lex-iso88591 pxp-lex-iso885915 http" -version="0.0.1" -archive(byte)="pxp.cma" -archive(native)="pxp.cmxa" -linkopts="" diff --git a/helm/ocaml/METAS/meta.helm-tex_cic_textual_parser.src b/helm/ocaml/METAS/meta.helm-tex_cic_textual_parser.src deleted file mode 100644 index dec21eebd..000000000 --- a/helm/ocaml/METAS/meta.helm-tex_cic_textual_parser.src +++ /dev/null @@ -1,5 +0,0 @@ -requires="helm-cic" -version="0.0.1" -archive(byte)="tex_cic_textual_parser.cma" -archive(native)="tex_cic_textual_parser.cmxa" -linkopts="" -- 2.39.2