Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: FaCT++
Upstream-Contact: https://github.com/tilde-lab/pyfactxx/issues
Source: https://github.com/tilde-lab/pyfactxx
 .
 Repackaged, excluding any .git* files,
 and source-less and possibly non-DFSG binary code
Files-Excluded:
 */.git*
 *.dll
 *.jar
 *.jnilib
 *.so

Files: *
Copyright:
  2003-2017  Dmitry Tsarkov <tsarkov@cs.man.ac.uk>
  2011-2013  Ignazio Palmisano
  2003-2015  The University of Manchester
License-Grant:
 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;
 either version 2.1 of the License, or (at your option) any later version.
License: LGPL-2.1+
Reference:
 FaCT++.Python/COPYING
 README.md

Files: FaCT++.Python/*
Copyright:
  2016-2018  Artur Wroblewski <wrobell@riseup.net>
  2021-2022  Ivan Rygaev <ir@tilde.pro>
License: GPL-3+
Reference:
 FaCT++.Python/COPYING
 README.md

Files: */uk/ac/manchester/cs/factplusplus/*
Copyright:
  2006-2007, 2009-2010  University of Manchester
License: LGPL-2.1+

Files:
 FaCT++/AD.cpp
 FaCT++/FaCT.cpp
 FaCT++/comparser.h
 FaCT++/comscanner.h
 FaCT++/parser.cpp
 FaCT++/parser.h
 FaCT++/scanner.cpp
 FaCT++/scanner.h
 Kernel/ReasonerNom.cpp
 Kernel/ReasonerNom.h
Copyright:
  2003-2014  Dmitry Tsarkov <tsarkov@cs.man.ac.uk>
  2011-2013  Stanislav Kikot
License-Grant:
 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.
License: GPL-2+

Files:
 FaCT++.OWLAPIv3/src/uk/ac/manchester/cs/factplusplus/owlapiv3/ModuleMethod.java
 mavenreleaseowlapi4/src/main/java/uk/ac/manchester/cs/factplusplus/owlapiv3/ModuleMethod.java
Copyright:
  2014  The University of Manchester
License-Grant:
 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.
 .
 Alternatively, the contents of this file may be used
 under the terms of the Apache License, Version 2.0
 in which case, the provisions of the Apache License Version 2.0
 are applicable instead of those above.
 Licensed under the Apache License, Version 2.0 (the "License");
 you may not use this file except in compliance with the License.
 You may obtain a copy of the License
 at <http://www.apache.org/licenses/LICENSE-2.0>
License: GPL-3+ or Apache-2.0

Files: Kernel/Kernel.cpp
Copyright:
  2002-2017  Dmitry Tsarkov
  2021-2024  Ivan Rygaev
  2003-2015  The University of Manchester
  2021-2024  Tilde MI
License: LGPL-2.1+

Files: debian/*
Copyright:
  2012-2020, 2022, 2026  Jonas Smedegaard <dr@jones.dk>
License-Grant:
 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, or (at your option) any later version.
License: GPL-3+

Files:
 debian/patches/*
Copyright:
  Jonas Smedegaard <dr@jones.dk>
License: GPL-3+
Reference:
 README.md
Comment:
 Patches commonly lack explicit copyright and license.
 For the cases where patches are copyrightable at all,
 copyright is assumed to be held by the author,
 and license is assumed to be the same as main upstream license.

License: LGPL-2.1+
License-Reference: /usr/share/common-licenses/LGPL-2.1

License: GPL-2+
License-Reference: /usr/share/common-licenses/GPL-2

License: GPL-3+
License-Reference: /usr/share/common-licenses/GPL-3

License: Apache-2.0
License-Reference: /usr/share/common-licenses/Apache-2.0
