Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Upstream-Name: alt-ergo Upstream-Contact: Sylvain Conchon Évelyne Contejean alt-ergo-bugs@lists.ocaml.pro Source: http://alt-ergo.ocamlpro.com/download.php Files: * Copyright: Copyright (C) 2006-2013 CNRS - INRIA - Universite Paris Sud License: Apache-2 Files: configure.in Makefile.configurable.in Copyright: © 2001 Jean-Christophe FILLIÂTRE License: LGPL-2 Files: debian/* Copyright: © 2008, Mehdi Dogguy License: GPL-2 License: Apache-2 This file is distributed under the terms of the Apache Software License version 2.0. . On Debian systems, the complete text of the Apache Software License 2.0 can be found in `/usr/share/common-licenses/Apache-2.0'. License: LGPL-2 This library is free software; you can redistribute it and/or modify it under the terms of the GNU Library General Public License version 2, as published by the Free Software Foundation. . On Debian systems, the complete text of the GNU Library General Public License can be found in `/usr/share/common-licenses/LGPL-2'. 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 version 2 as published by the Free Software Foundation. . 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. . On Debian systems, the full text of the GNU General Public License version 2 can be found in /usr/share/common-licenses/GPL-2.