@echo ++ YOU DO NOT HAVE COQ VERSION $(coq_version_wanted) INSTALLED ++
@echo ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
@echo
@echo ++ YOU DO NOT HAVE COQ VERSION $(coq_version_wanted) INSTALLED ++
@echo ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
@echo