Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: alt-ergo
Upstream-Contact: Sylvain Conchon <Sylvain.Conchon@lri.fr>
		  Évelyne Contejean <Evelyne.Contejean@lri.fr>
		  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 <filliatr@lri.fr>
License: LGPL-2

Files: debian/*
Copyright: © 2008, Mehdi Dogguy <dogguy@pps.jussieu.fr>
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.