1 files changed, 1 insertions, 1 deletions

diff --git a/coq/README b/coq/README
index ab726433..9795e72a 100644
--- a/coq/README
+++ b/coq/README
@@ -6,7 +6,7 @@ Later contributions by Patrick Loiseleur, Pierre Courtieu,
 
 Status:		supported
 Maintainer:	Pierre Courtieu
-Coq version:	8.3
+Coq version:	8.5
 Coq homepage:	http://coq.inria.fr/
 
 ===========================================================================