From 40a248f2007e7239ce01824a18f48fb0ab7d6d22 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Thu, 31 Dec 2015 15:23:35 +0100
Subject: comment and readme.

---
 coq/README | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'coq/README')

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/
 
 ===========================================================================
-- 
cgit v1.2.3