From 61dc740ed1c3780cccaec00d059a28f0d31d0052 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Mon, 4 Jun 2012 12:07:52 +0200
Subject: Imported Upstream version 8.4~gamma0+really8.4beta2

---
 COPYRIGHT | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'COPYRIGHT')

diff --git a/COPYRIGHT b/COPYRIGHT
index 8d81d8c4..3aa6aae9 100644
--- a/COPYRIGHT
+++ b/COPYRIGHT
@@ -1,6 +1,6 @@
                      The Coq proof assistant
 
-Copyright 1999-2010 The Coq development team, INRIA, CNRS, University
+Copyright 1999-2012 The Coq development team, INRIA, CNRS, University
 Paris Sud, University Paris 7, Ecole Polytechnique.
 
 This product includes also software developed by
-- 
cgit v1.2.3