+META.helm-tex_cic_textual_parser
+META.helm-cic_textual_parser
+META.helm-cic_unification
+META.helm-getter
+META.helm-mathql
+META.helm-mathql_interpreter
+META.helm-mathql_test
+META.helm-mathql_generator
+META.helm-pxp
+META.helm-tactics
+META.helm-urimanager
+META.helm-xml
+META.helm-cic_transformations