Update README.md

coq-community · May 31, 2016 · a096f1e · a096f1e
1 parent 797c62f
commit a096f1e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -1,5 +1,5 @@
 ## Compilation
-Known to compile with Coq 8.4.pl3.
+Known to compile with Coq 8.5.
 
 ## Directory structure
 ### categories/