Copyright for mpsolve source package in Mantic

Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: mpsolve
Source: https://github.com/robol/MPSolve

Files: *
Copyright: 2001-2020 Dipartimento di Matematica "L. Tonelli", Pisa.
License: GPL-3+

Files: m4/ax_check_compile_flag.m4
Copyright: 2008 Guido U. Draheim 
           2011 Maarten Bosmans 
License: GPL-3+ with autoconf exception

Files: m4/acx_pthread.m4
Copyright: 2006 Steven G. Johnson 
License: GPL-3+ with autoconf exception

Files: m4/ax_func_snprintf.m4
Copyright: 2008 Ruediger Kuhlmann 
License: FSFAP

Files: m4/ax_compare_version.m4
Copyright: 2008 Tim Toolan 
License: FSFAP

Files: m4/ax_python_module.m4
Copyright: 2008 Andrew Collier
License: FSFAP

Files: src/xmpsolve/icons/*
Copyright: Everaldo Coelho
Comment: https://commons.wikimedia.org/wiki/Crystal_Clear
License: LGPL-2.1
 This library 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; version 2.1.
 .
 This library 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 Lesser General Public
 License along with this library; if not, write to the Free Software
 Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
 02110-1301 USA
 .
 On Debian systems, the complete text of the GNU Lesser General Public
 License version 2.1 can be found in
 "/usr/share/common-licenses/LGPL-2.1".

Files: tools/download-mingw-rpm.py
Copyright: Maarten Bosmans 2011
License: MPL-1.1
 The contents of this file are subject to the Mozilla Public License
 Version 1.1; you may not use this file except in compliance with the
 License. You may obtain a copy of the License at
 http://www.mozilla.org/MPL/
 .
 On Debian systems, the complete text of the Mozilla Public License
 version 1.1 can be found in "/usr/share/common-licenses/MPL-1.1".

Files: debian/*
Copyright: 2013 Leonardo Robol 
           2020-2022 Doug Torrance 
Comment: Starting point for Debian packaging was upstream's PPA
 packaging (https://code.launchpad.net/~leo.robol/mpsolve/daily-packaging)
License: GPL-3+

License: FSFAP
 Copying and distribution of this file, with or without modification,
 are permitted in any medium without royalty provided the copyright
 notice and this notice are preserved. This file is offered as-is,
 without any warranty.

License: GPL-3+
 This package is free software; you can redistribute it and/or modify
 it under the terms of the GNU General Public License version 3
 as published by the Free Software Foundation.
 .
 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 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 
 .
 On Debian systems, the complete text of the GNU General
 Public License version 3 can be found in "/usr/share/common-licenses/GPL-3".

License: GPL-3+ with autoconf exception
 This program is free software: you can redistribute it and/or modify it
 under the terms of the GNU General Public License as published by the
 Free Software Foundation, either version 3 of the License, or (at your
 option) any later version.
 .
 This program 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 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 .
 .
 As a special exception, the respective Autoconf Macro's copyright owner
 gives unlimited permission to copy, distribute and modify the configure
 scripts that are the output of Autoconf when processing the Macro. You
 need not follow the terms of the GNU General Public License when using
 or distributing such scripts, even though portions of the text of the
 Macro appear in them. The GNU General Public License (GPL) does govern
 all other use of the material that constitutes the Autoconf Macro.
 .
 This special exception to the GPL applies to versions of the Autoconf
 Macro released by the Autoconf Archive. When you make and distribute a
 modified version of the Autoconf Macro, you may extend this special
 exception to the GPL to apply to your modified version as well.
 .
 On Debian systems, the full text of the GNU General Public
 License version 3 can be found in the file
 `/usr/share/common-licenses/GPL-3'.