1 files changed, 1 insertions, 1 deletions

diff --git a/coq/README b/coq/README
index f9626a25..0ba57bf4 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:	6.3, 6.3.1, 7.0
+Coq version:	6.3, 6.3.1, 7.x
 Coq homepage:	http://pauillac.inria.fr/coq/assis-eng.html
 
 ========================================