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