pcre \
mysql \
helm-registry \
+helm-extlib \
+helm-hmysql \
helm-cic_disambiguation \
+helm-paramodulation \
"
FINDLIB_CLEANREQUIRES="$FINDLIB_DEPREQUIRES"
FINDLIB_CREQUIRES="\
unix \
helm-cic_omdoc \
helm-tactics \
-helm-paramodulation \
helm-xml \
"
FINDLIB_REQUIRES="\
lablgtkmathview \
lablgtksourceview \
helm-xmldiff \
+helm-tactics \
"
for r in $FINDLIB_REQUIRES
do