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 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 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 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 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