From 7f416bad62c0a94a0ff2fbdb433d03f3d5366ad6 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Wed, 15 Jun 2016 18:52:24 +0200
Subject: ssrmatching: giving proper credits to the original author(s)

Following CeCILL-B 5.3.2, we are allowed to redistribute the
software under the same license of Coq as long as we credit.
---
 COPYRIGHT | 1 +
 1 file changed, 1 insertion(+)

(limited to 'COPYRIGHT')

diff --git a/COPYRIGHT b/COPYRIGHT
index 006ce18f1d..8c08e05e61 100644
--- a/COPYRIGHT
+++ b/COPYRIGHT
@@ -9,6 +9,7 @@ This product includes also software developed by
   Claudio Sacerdoti Coen, HELM, University of Bologna, (plugins/xml)
   Pierre Corbineau, Radboud University, Nijmegen (declarative mode)
   John Harrison, University of Cambridge (csdp wrapper)
+  Georges Gonthier, Microsoft Research - Inria Joint Centre (plugins/ssrmatching)
 
 The file CREDITS contains a list of contributors.
 The credits section in the Reference Manual details contributions.
-- 
cgit v1.2.3