-requires="helm-registry helm-cic_transformations helm-tactics helm-cic_textual_parser2 mysql"
+requires="helm-registry helm-cic_transformations helm-tactics helm-cic_disambiguation mysql"
version="0.0.1"
archive(byte)="paramodulation.cma"
archive(native)="paramodulation.cmxa"