-requires="helm-cic_textual_parser helm-cic_proof_checking helm-cic_unification"
+requires="helm-cic_textual_parser helm-cic_proof_checking helm-cic_unification helm-mquery_generator"
version="0.0.1"
archive(byte)="tactics.cma"
archive(native)="tactics.cmxa"