Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
# the rest of menhir is packaged in src:menhir ; here we just want coq-menhirlib
Files-Excluded: benchmarks/* *.sh doc/* dune* fix/* lib/* LICENSE Makefile.image pprint/* sdk/* src/*

Files: *
Copyright: Jacques-Henri Jourdan
License: LGPL-3+

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

License: LGPL-3+
 This program is under the terms of the GNU Lesser General Public
 License, either version 3 or (at your option) any later version.
 .
 On Debian systems, the complete text of the GNU Lesser General
 Public License can be found in "/usr/share/common-licenses/LGPL-3".