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.