]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/META.helm-cic
119b9a4061eff761badb95ce92745bd0a289428a
[helm.git] / helm / ocaml / META.helm-cic
1 requires="helm-urimanager helm-pxp"
2 version="0.0.1"
3 archive(byte)="cic.cmo deannotate.cmo cicParser3.cmo cicParser2.cmo cicParser.cmo"
4 archive(native)="cic.cmx deannotate.cmx cicParser3.cmx cicParser2.cmx cicParser.cmx"
5 linkopts=""
6 directory="/home/sacerdot/miohelm/ocaml/helm/cic"