Package: alt-ergo / 2.0.0-3
Header
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
Files
| Files | Copyright | License | Comment |
|---|---|---|---|
| * |
Copyright (C) 2006-2013 CNRS - INRIA - Universite Paris Sud |
Apache-2 | ---- | configure.in Makefile.configurable.in |
© 2001 Jean-Christophe FILLIÂTRE <filliatr@lri.fr> |
LGPL-2 | ---- | debian/* |
© 2008, Mehdi Dogguy <dogguy@pps.jussieu.fr> |
GPL-2 | ---- |
Licenses
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.