Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Upstream-Name: dose Upstream-Contact: Pietro Abate Source: https://gforge.inria.fr/projects/dose/ Files: * Copyright: © 2009-2012 Pietro Abate License: LGPL-3+ Files: src/common/format822.ml Copyright: © 2005-2009 Jérôme Vouillion, Stefano Zacchiroli, Pietro Abate License: LGPL-3+ Files: src/algo/statistics.ml Copyright: © 2008 Jaap Boender, Stefano Zacchiroli, Pietro Abate License: LGPL-3+ Files: src/common/edosSolver.ml src/common/edosSolver.mli Copyright: © 2005-2009 Jérôme Vouillion License: LGPL-3+ Files: src/common/util.ml Copyright: © 2009 Alain Frisch, Pietro Abate License: LGPL-3+ Files: src/common/url.ml src/common/url.mli src/versioning/debian.ml Copyright: © 2011 Ralf Treinen License: LGPL-3+ Files: debian/* Copyright: © 2011, 2012 Ralf Treinen, Stefano Zacchiroli License: LGPL-3+ Files: debian/update-cudf-solvers Copyright: © 2011 Stefano Zacchiroli License: LGPL-3+ Files: src/common/shell_lexer.mll Copyright: © 2015 Johannes Schauer License: LGPL-3+ Files: scripts/pack.ml Copyright: 2011 OCamlPro SAS Comment: Some versions of this file had a copyright header claiming the file was distributed under the terms of the "GNU Public License version 3.0". Later releases clarified that the GPL3 was meant. . This file only serves as a helper during compilation (it packs together all mli files into one file for ocamldoc) and its contents are not linked or otherwise copied into the final binaries. Thus, the final binaries of the dose3 packages are still distributed under the terms of the LGPL-3+. License: GPL-3 This file is distributed under the terms of the GNU General Public License version 3.0. . On Debian systems, the complete text of the GNU General Public License version 3 can be found in `/usr/share/common-licenses/GPL-3'. License: LGPL-3+ 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 3 of the License, or (at your option) any later version. A special linking exception to the GNU Lesser General Public License applies to this library, see the COPYING file for more information. . On Debian systems, the complete text of the latest GNU Lesser General Public License can be found in `/usr/share/common-licenses/LGPL-3'.