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

Files: *
Copyright: Hugo Herbelin
License: MPL-2.0

Files: redeffect.mlg
Copyright: 1999-2020 The Coq Development Team
           1999-2020 INRIA
           1999-2020 CNRS 
           1999-2020 LIX
           1999-2020 LRI
           1999-2020 PPS
License: LGPL-2.1

Files: debian/*
Copyright: 2022 Julien Puydt
License: MPL-2.0

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".

License: MPL-2.0
 On Debian systems the full text of the MPL-2.0 can be found in
 /usr/share/common-licenses/MPL-2.0.