fix the version of the package and the required version for Coq

Author: ybertot

configure.ac

@@ -10,7 +10,7 @@
 # will set several variables: (see AC_SUBST at the end of this file)
 #~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
-AC_INIT(coq-dpdgraph,0.6.3)
+AC_INIT(coq-dpdgraph,0.6.4)
 AC_MSG_NOTICE(AC_PACKAGE_NAME version AC_PACKAGE_VERSION)
 
 #~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
@@ -184,8 +184,8 @@ COQVERSION=$($COQC -v | sed -n -e 's|.*version *\(.*\)$|\1|p' )
 AC_MSG_RESULT($COQVERSION)
 
 case $COQVERSION in
-  8.1[^0-9]*|8.2[0-9]*|8.3[0-9]*|8.4[0-9]*|8.5[0-9]*|8.6[0-9]*|8.7[0-9]*)
-    AC_MSG_ERROR(AC_PACKAGE_NAME needs Coq version 8.8 or higher)
+  8.[[1-8]][[^0-9]]*)
+    AC_MSG_ERROR(AC_PACKAGE_NAME needs Coq version 8.9 or higher)
     ;;
 esac