export HELM_LIB_DIR=$HELMROOT/$COQV/$WHERE/local/lib/helm
export HELM_ANNOTATIONS_DIR=pippo
export HELM_ANNOTATIONS_URL=pippo
export HELM_LIB_DIR=$HELMROOT/$COQV/$WHERE/local/lib/helm
export HELM_ANNOTATIONS_DIR=pippo
export HELM_ANNOTATIONS_URL=pippo