Update README.md

snu-sf · Feb 2, 2019 · 6956425 · 6956425
1 parent 538d861
commit 6956425
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -8,7 +8,7 @@ Paco is a Coq library for parametric coinduction.  For more information, please
 - Chung-Kil Hur, Georg Neis, Derek Dreyer and Viktor Vafeiadis.  [The power of parameterization in
 coinductive proof](https://dl.acm.org/citation.cfm?doid=2429069.2429093).  POPL 2013.
 
-The current version is v1.2.8, and it's compatible with Coq 8.6.1, 8.7.2, and 8.8.1.
+The current version is v2.0.0, and it's compatible with Coq 8.6.1, 8.7.2, 8.8.1 and 8.9.0.
 
 
 ## Installation