From 9043add656177eeac1491a73d2f3ab92bec0013c Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@debian.org>
Date: Sat, 29 Dec 2018 14:31:27 -0500
Subject: Imported Upstream version 8.8.2

---
 COPYRIGHT | 15 ---------------
 1 file changed, 15 deletions(-)
 delete mode 100644 COPYRIGHT

(limited to 'COPYRIGHT')

diff --git a/COPYRIGHT b/COPYRIGHT
deleted file mode 100644
index fc4b7baa..00000000
--- a/COPYRIGHT
+++ /dev/null
@@ -1,15 +0,0 @@
-                     The Coq proof assistant
-
-Copyright 1999-2016 The Coq development team, INRIA, CNRS, University
-Paris Sud, University Paris 7, Ecole Polytechnique.
-
-This product includes also software developed by
-  Pierre Crégut, France Telecom R & D (plugins/omega and plugins/romega)
-  Pierre Courtieu and Julien Forest, CNAM (plugins/funind)
-  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