tex_cic_textual_parser cic_unification mathql mathql_generator \
mathql_interpreter cic_omdoc tactics cic_transformations
OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@
OCAMLFIND_META_DIR = @OCAMLFIND_META_DIR@
tex_cic_textual_parser cic_unification mathql mathql_generator \
mathql_interpreter cic_omdoc tactics cic_transformations
OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@
OCAMLFIND_META_DIR = @OCAMLFIND_META_DIR@