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