components/METAS/meta.helm-cic_proof_checking.src

   1 requires="helm-cic helm-logger helm-getter"
   2 version="0.0.1"
   3 archive(byte)="cic_proof_checking.cma"
   4 archive(native)="cic_proof_checking.cmxa"
   5 archive(byte,miniReduction)="cicSubstitution.cmo cicMiniReduction.cmo"
   6 archive(native,miniReduction)="cicSubstitution.cmx cicMiniReduction.cmx"
   7 linkopts=""