Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: FaCT++
Upstream-Contact: https://bitbucket.org/dtsarkov/factplusplus/issues
 Dmitry Tsarkov <tsarkov@cs.man.ac.uk>
Source: https://bitbucket.org/dtsarkov/factplusplus
 git clone https://bitbucket.org/dtsarkov/factplusplus.git
 .
 Repackaged, excluding source-less and possibly non-DFSG binary code
Files-Excluded:
 *.dll
 *.jar
 *.jnilib

Files: *
Copyright: 2003-2015, The University of Manchester
  2003-2016, Dmitry Tsarkov <tsarkov@cs.man.ac.uk>
  2011-2013, Ignazio Palmisano
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+

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: debian/*
Copyright: 2012-2020, 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+

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
