helm/ocaml/META.helm-cic_proof_checking

   1 requires="helm-cic"
   2 version="0.0.1"
   3 archive(byte)="cicSubstitution.cmo cicEnvironment.cmo cicPp.cmo cicReduction.cmo cicTypeChecker.cmo cicCooking.cmo"
   4 archive(native)="cicSubstitution.cmx cicEnvironment.cmx cicPp.cmx cicReduction.cmx cicTypeChecker.cmx cicCooking.cmx"
   5 archive(byte,miniReduction)="cicSubstitution.cmo cicMiniReduction.cmo"
   6 archive(native,miniReduction)="cicSubstitution.cmx cicMiniReduction.cmx"
   7 linkopts=""
   8 directory="/home/sacerdot/miohelm/ocaml/helm/cic_proof_checking"