X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2FMETAS%2Fmeta.helm-ng_cic_content.src;fp=matitaB%2Fcomponents%2FMETAS%2Fmeta.helm-ng_cic_content.src;h=1b45e784a794dec8af67ef16dbe6950065e010d4;hb=cacbe3c6493ddce76c4c13379ade271d8dd172e8;hp=0000000000000000000000000000000000000000;hpb=f04a064bb34aabaf91dc0c48e3b08b37ecd7b0a2;p=helm.git diff --git a/matitaB/components/METAS/meta.helm-ng_cic_content.src b/matitaB/components/METAS/meta.helm-ng_cic_content.src new file mode 100644 index 000000000..1b45e784a --- /dev/null +++ b/matitaB/components/METAS/meta.helm-ng_cic_content.src @@ -0,0 +1,4 @@ +requires="helm-library helm-ng_library helm-grafite helm-content helm-ng_refiner" +version="0.0.1" +archive(byte)="ng_cic_content.cma" +archive(native)="ng_cic_content.cmxa"