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

Files: *
Copyright: 2014-2021 Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>
 	   	     Enrico Tassi <Enrico.Tassi@inria.fr>
License: LGPL-2.1+

Files: src/runtime/ptmap.ml src/runtime/ptmap.mli
Copyright: Jean-Christophe Filliatre
License: LGPL-2.1+

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

License: LGPL-2.1+
 This package is free software; you can redistribute it and/or
 modify it under the terms of the GNU Lesser General Public
 License as published by the Free Software Foundation; either
 version 2.1 of the License, or (at your option) any later version.
 .
 This package is distributed in the hope that it will be useful,
 but WITHOUT ANY WARRANTY; without even the implied warranty of
 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 Lesser General Public License for more details.
 .
 You should have received a copy of the GNU General Public License
 along with this program. If not, see <http://www.gnu.org/licenses/>.
 .
 On Debian systems, the complete text of the GNU Lesser General
 Public License can be found in "/usr/share/common-licenses/LGPL-2.1".
