Copyright for msolve source package in Mantic

Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: msolve
Source: https://github.com/algebraic-solving/msolve

Files: *
Copyright: 2021-2023 Jérémy Berthomieu 
           2021-2023 Christian Eder 
           2021-2023 Mohab Safey El Din 
License: GPL-2+

Files: m4/ax_check_compile_flag.m4
Copyright: 2008 Guido U. Draheim 
           2011 Maarten Bosmans 
License: FSFAP

Files: m4/ax_count_cpus.m4
Copyright: 2014 Karlson2k (Evgeny Grin) 
           2012 Brian Aker 
           2008 Michael Paul Bailey 
           2008 Christophe Tournayre 
License: FSFAP

Files: m4/ax_cpu_vendor.m4
Copyright: 2008 Christophe Tournayre 
License: FSFAP

Files: m4/ax_ext.m4
Copyright: 2007 Christophe Tournayre 
           2013, 2015 Michael Petch 
           2017 Rafael de Lucena Valle 
License: FSFAP

Files: m4/ax_gcc_builtin.m4
Copyright:  2013 Gabriele Svelto 
License: FSFAP

Files: m4/ax_gcc_x86_avx_xgetbv.m4
Copyright: 2013 Michael Petch 
License: GPL-3+ with autoconf exception

Files: m4/ax_gcc_x86_cpuid.m4
Copyright: 2008 Steven G. Johnson 
           2008 Matteo Frigo
           2015 Michael Petch 
License: GPL-3+ with autoconf exception

Files: m4/ax_openmp.m4
Copyright: 2008 Steven G. Johnson 
           2015 John W. Peterson 
           2016 Nick R. Papior 
License: GPL-3+ with autoconf exception

Files: src/crt/longlong.h
Copyright: 2009, 2015, 2016 William Hart
           2011 Fredrik Johansson
License: LGPL-2.1

Files: src/crt/ulong_extras.h
Copyright: 2006, 2007, 2008, 2009, 2016 William Hart
           2008 Peter Shrimpton
           2009 Tom Boothby
           2010 Fredrik Johansson
License: LGPL-2.1

Files: debian/*
Copyright: 2021-2023 Doug Torrance 
License: GPL-2+

License: GPL-2+
 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 2 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 package; if not, write to the Free
 Software Foundation, Inc., 51 Franklin St, Fifth Floor,
 Boston, MA  02110-1301 USA
 .
 On Debian systems, the full text of the GNU General Public
 License version 2 can be found in the file
 `/usr/share/common-licenses/GPL-2'.

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+ 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'.

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