pcre \
mysql \
helm-registry \
-helm-cic_textual_parser2 \
+helm-cic_disambiguation \
"
FINDLIB_CLEANREQUIRES="$FINDLIB_DEPREQUIRES"
FINDLIB_CREQUIRES="\
unix \
helm-cic_omdoc \
helm-tactics \
+helm-paramodulation \
helm-xml \
"
FINDLIB_REQUIRES="\
matita.conf.xml.sample
buildTimeConf.ml
Makefile
+ gtkmathview.matita.conf.xml
])