From 462d8403fbe048aac215d809bfa72e7360384071 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 14 Jan 2011 17:07:27 +0000 Subject: Update dates and versions --- coq/README | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'coq/README') diff --git a/coq/README b/coq/README index e5fbd31a..ebd15123 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.2 +Coq version: 8.3 Coq homepage: http://coq.inria.fr/ =========================================================================== -- cgit v1.2.3