Format: http://dep.debian.net/deps/dep5
Upstream-Name: liberty-eiffel
Source: https://github.com/LibertyEiffel/Liberty

Files: src/smarteiffel/*
Copyright: Copyright (C) 1994-2002: INRIA - LORIA (INRIA Lorraine) - ESIAL U.H.P.       - University of Nancy 1 - FRANCE
                                    Dominique COLNET, Philippe RIBET, Cyril ADRIAN, Vincent CROIZIER, Frederic MERIZEN
           Copyright (C) 2003-2004: INRIA - LORIA (INRIA Lorraine) - I.U.T. Charlemagne - University of Nancy 2 - FRANCE
                                    Dominique COLNET, Philippe RIBET, Cyril ADRIAN, Vincent CROIZIER, Frederic MERIZEN
           Copyright (C) 2009-2022: Cyril ADRIAN, Paolo REDAELLI, Raphael MACK and others (including above)
License: GPL-3.0

Files: src/lib/*
Copyright: Copyright (C) 1994-2002: INRIA - LORIA (INRIA Lorraine) - ESIAL U.H.P.       - University of Nancy 1 - FRANCE
                                    Dominique COLNET, Philippe RIBET, Cyril ADRIAN, Vincent CROIZIER, Frederic MERIZEN
           Copyright (C) 2003-2004: INRIA - LORIA (INRIA Lorraine) - I.U.T. Charlemagne - University of Nancy 2 - FRANCE
                                    Dominique COLNET, Philippe RIBET, Cyril ADRIAN, Vincent CROIZIER, Frederic MERIZEN
           Copyright (C) 2009-2022: Cyril ADRIAN, Paolo REDAELLI, Raphael MACK and others (including above)
License: X-MIT

Files: src/tools/wrappers-generator/*
Copyright: Copyright (C) 2008-2022: Paolo REDAELLI
License: GPL-2.0+

Files: src/tools/effect/*
Copyright: Copyright (C) 2009-2022: Cyril ADRIAN
License: GPL-3.0

Files: debian/*
Copyright: Copyright (C) 2013-2022: Cyril Adrian <cyril.adrian@gmail.com>
License: GPL-3.0

License: GPL-3.0
 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, version 3 of the License.
 .
 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 <http://www.gnu.org/licenses/>.
 .
 On Debian systems, the complete text of the GNU General
 Public License version 3 can be found in "/usr/share/common-licenses/GPL-3".

# Please also look if there are files or directories which have a
# different copyright/license attached and list them here.
