update package version

coq-community · Jan 13, 2021 · c89f763 · c89f763
1 parent f12bf89
commit c89f763
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/README.md b/README.md
@@ -33,7 +33,7 @@ You can:
 
 #### Requirements
 
-- The latest version runs with Coq 8.11
+- The latest released version runs with Coq 8.13
 - it has been tested with a version of Coq installed using opam and with
   Ocaml version 4.09.0
 - [ocamlgraph](http://ocamlgraph.lri.fr/) (for dpd2dot tool)

diff --git a/configure.ac b/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.7)
+AC_INIT(coq-dpdgraph,0.6.9)
 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.[[0-9]][[^0-9]]*|8.10*)
-    AC_MSG_ERROR(AC_PACKAGE_NAME needs Coq version 8.11 or higher)
+  8.[[0-9]][[^0-9]]*|8.12*)
+    AC_MSG_ERROR(AC_PACKAGE_NAME needs Coq version 8.13 or higher)
     ;;
 esac