Format: http://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
Copyright: 2003-2016, Dmitry Tsarkov <tsarkov@cs.man.ac.uk>
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-2013,2015-2016, 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
