1) .cma/.cmxa used to simplify META files.

[helm.git] / helm / ocaml / META.helm-cic_proof_checking

requires="helm-cic"
version="0.0.1"
archive(byte)="cic_proof_checking.cma"
archive(native)="cic_proof_checking.cmxa"
archive(byte,miniReduction)="cicSubstitution.cmo cicMiniReduction.cmo"
archive(native,miniReduction)="cicSubstitution.cmx cicMiniReduction.cmx"
linkopts=""
directory="/home/sacerdot/miohelm/helm/ocaml/cic_proof_checking"