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.