Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/

Files: *
Copyright: 1999-2016 Coq Development Team INRIA CNRS LIX LRI
	   Laurent Théry
	   Benjamin Grégoire
           Arnaud Spiwack
           Evgeny Makarov
           Pierre Letouzey
License: LGPL-2.1

Files: debian/*
Copyright: 2022 Julien Puydt
License: LGPL-2.1

License: LGPL-2.1
 On Debian systems, the complete text of the GNU Lesser General
 Public License can be found in "/usr/share/common-licenses/LGPL-2.1".