forked from openkylin/z3
48 lines
2.2 KiB
Plaintext
48 lines
2.2 KiB
Plaintext
|
Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
|
||
|
|
Upstream-Name: z3
|
||
|
|
Source: https://github.com/Z3Prover/z3
|
||
|
|
|
||
|
|
Files: *
|
||
|
|
Copyright: 2006-2019 Microsoft Corporation
|
||
|
|
2006, 2010, 2017-2019 Arie Gurfinkel
|
||
|
|
2017-2018 Saint-Petersburg State University
|
||
|
|
2017 Matteo Marescotti
|
||
|
|
License: Expat
|
||
|
|
Permission is hereby granted, free of charge, to any person obtaining a copy of
|
||
|
|
this software and associated documentation files (the ""Software""), to deal in
|
||
|
|
the Software without restriction, including without limitation the rights to
|
||
|
|
use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies
|
||
|
|
of the Software, and to permit persons to whom the Software is furnished to do
|
||
|
|
so, subject to the following conditions:
|
||
|
|
.
|
||
|
|
The above copyright notice and this permission notice shall be included in all
|
||
|
|
copies or substantial portions of the Software.
|
||
|
|
.
|
||
|
|
THE SOFTWARE IS PROVIDED *AS IS*, WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
||
|
|
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
||
|
|
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
|
||
|
|
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
||
|
|
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
|
||
|
|
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
|
||
|
|
SOFTWARE.
|
||
|
|
|
||
|
|
Files: debian/*
|
||
|
|
Copyright: 2016-2019 Fabian Wolff <fabi.wolff@arcor.de>
|
||
|
|
2011 Michael Tautschnig <mt@debian.org>
|
||
|
|
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 <http://www.gnu.org/licenses/>
|
||
|
|
.
|
||
|
|
On Debian systems, the complete text of the GNU General
|
||
|
|
Public License version 2 can be found in "/usr/share/common-licenses/GPL-2".
|