Copyright for gnome-shell-extension-autohidetopbar source package in Focal

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

Files: *
Copyright: 2013-2017 Thomas Vogt
           2012 Philip Witte
           2012-2013 Mathieu Lutfy
License: GPL-2
 This package is free software; you can redistribute it and/or modify
 it under the terms of the GNU General Public License Version 2 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 2 can be found in "/usr/share/common-licenses/GPL-2".

Files: convenience.js
Copyright:  2011-2012, Giovanni Campagna 
License: BSD-3-clause
 Redistribution and use in source and binary forms, with or without
 modification, are permitted provided that the following conditions are met:
   * Redistributions of source code must retain the above copyright
     notice, this list of conditions and the following disclaimer.
   * Redistributions in binary form must reproduce the above copyright
     notice, this list of conditions and the following disclaimer in the
     documentation and/or other materials provided with the distribution.
   * Neither the name of the GNOME nor the
     names of its contributors may be used to endorse or promote products
     derived from this software without specific prior written permission.

Files: intellihide.js
Copyright: 2012-2017 Michele 
License: GPL-2+
Comment: The file is from https://github.com/micheleg/dash-to-dock/

Files: debian/*
Copyright: 2014-2018 Tobias Frost 
License: GPL-2+

License: GPL-2+
 This package 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 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 2 can be found in "/usr/share/common-licenses/GPL-2".