Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Upstream-Name: FaCT++ Upstream-Contact: Dmitry Tsarkov Source: https://code.google.com/p/factplusplus/ Repackaged, excluding source-less and possibly non-DFSG binary code Files-Excluded: src/FaCT++.OWLAPI/lib/owlapi-src.jar src/FaCT++.OWLAPI/lib/owlapi-bin.jar src/FaCT++.OWLAPIv3/lib/owlapi-src.jar src/FaCT++.OWLAPIv3/lib/owlapi-bin.jar Files: * Copyright: 2003-2013, Dmitry Tsarkov License: LGPL-2.1+ Files: */uk/ac/manchester/cs/factplusplus/* Copyright: 2006-2007,2009-2010, University of Manchester License: LGPL-2.1+ Files: src/FaCT++/comparser.h src/FaCT++/comscanner.h src/FaCT++.DIG/digFaCT.cpp src/FaCT++.DIG/digFileInterface.cpp src/FaCT++.DIG/digFileInterface.h src/FaCT++/FaCT.cpp src/FaCT++/parser.cpp src/FaCT++/parser.h src/FaCT++/scanner.cpp src/FaCT++/scanner.h src/Kernel/QR.h src/Kernel/ReasonerNom.cpp src/Kernel/ReasonerNom.h Copyright: 2003-2012, Dmitry Tsarkov License: GPL-2+ Files: debian/* Copyright: 2012, Jonas Smedegaard License: GPL-2+ License: LGPL-2.1+ 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. . This library is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more details. . Comment: . On Debian systems the 'GNU Lesser General Public License' version 2.1 is located in '/usr/share/common-licenses/LGPL-2.1'. . You should have received a copy of the 'GNU Lesser General Public License' along with this program. If not, see . License: GPL-2+ 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. . This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. . Comment: . On Debian systems the 'GNU General Public License' version 2 is located in '/usr/share/common-licenses/GPL-2'. . You should have received a copy of the 'GNU General Public License' along with this program. If not, see .