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 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 2021-2022 Ivan Rygaev 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 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 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 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 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