sets references to version correctly

coq-community · Jan 14, 2020 · efecd90 · efecd90
1 parent 810357c
commit efecd90
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -34,8 +34,8 @@ You can:
 #### Requirements
 
 - The latest released version runs with Coq 8.9.0
-- it has been tested with a version of Coq installed using opam and with
-  Ocaml version 4.07.0
+- This version 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)
   Any version should work since only the basic feature are used.
 

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.4)
+AC_INIT(coq-dpdgraph,0.6.5)
 AC_MSG_NOTICE(AC_PACKAGE_NAME version AC_PACKAGE_VERSION)
 
 #~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~