requires="helm-cic"
version="0.0.1"
-archive(byte)="cicCache.cmo"
-archive(native)="cicCache.cmx"
+archive(byte)="cic_cache.cma"
+archive(native)="cic_cache.cmxa"
linkopts=""
-directory="/home/sacerdot/miohelm/ocaml/helm/cic_cache"
+directory="/home/sacerdot/miohelm/helm/ocaml/cic_cache"