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: 2006-2013 CNRS - INRIA - Universite Paris Sud 
           2013-2022 OCaml PRO SAS
License: Apache-2.0

Files: src/plugins/AB-Why3/*
Copyright: 2010-2017 Why3 development team (INRIA - CNRS - Paris-Sud University)
           2018 OCamlPro SAS
License: LGPL-2.1

Files: debian/*
Copyright: 2008 Mehdi Dogguy <dogguy@pps.jussieu.fr>
           2022 Julien Puydt <jpuydt@debian.org>
License: GPL-2

License: Apache-2.0
 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.1
 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.
