-requires="helm-xml helm-cic_proof_checking helm-cic_omdoc helm-registry gdome2-xslt"
+requires="helm-utf8_macros helm-xml helm-cic_proof_checking helm-cic_omdoc helm-registry gdome2-xslt"
version="0.0.1"
archive(byte)="cic_transformations.cma"
archive(native)="cic_transformations.cmxa"