requires="helm-urimanager helm-pxp"
version="0.0.1"
archive(byte)="cic.cmo deannotate.cmo cicParser3.cmo cicParser2.cmo cicParser.cmo"
archive(native)="cic.cmx deannotate.cmx cicParser3.cmx cicParser2.cmx cicParser.cmx"
linkopts=""
directory="/home/sacerdot/miohelm/ocaml/helm/cic"