Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: FaCT++
Upstream-Contact: Dmitry Tsarkov <tsarkov@cs.man.ac.uk>
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 <tsarkov@cs.man.ac.uk>
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 <tsarkov@cs.man.ac.uk>
License: GPL-2+

Files: debian/*
Copyright: 2012-2013, Jonas Smedegaard <dr@jones.dk>
License: GPL-3+

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
 <http://www.gnu.org/licenses/>.

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 <http://www.gnu.org/licenses/>.

License: GPL-3+
 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.
 .
 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 3 is located
 in '/usr/share/common-licenses/GPL-3'.
