Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: ptmap
Upstream-Contact: Jean-Christophe Filliâtre <Jean-Christophe.Filliatre@lri.fr>
Source: https://github.com/backtracking/ptmap

Files: *
Copyright: Copyright 2018 (C) Jean-Christophe Filliatre
License: LGPL-2.1

License: LGPL-2.1
 This software is free software; you can redistribute it and/or
 modify it under the terms of the GNU Lesser General Public
 License version 2.1, with the special exception as follows:
 .
 As a special exception to the GNU Lesser General Public License, you may
 link, statically or dynamically, a "work that uses ptmap" with a publicly
 distributed version of ptmap to produce an executable file containing
 portions of ptmap, and distribute that executable file under terms of your
 choice, without any of the additional requirements listed in clause 6 of the
 GNU Lesser General Public License. By "a publicly distributed version of
 ptmap", we mean either the unmodified ptmap as distributed, or a modified
 version of the ptmap that is distributed under the conditions defined in
 clause 2 of the GNU Lesser General Public License. This exception does not
 however invalidate any other reasons why the executable file might be covered
 by the GNU Lesser General Public License.
 .
 On Debian systems, the complete text of version 2.1 of the GNU Lesser General
 Public License can be found in '/usr/share/common-licenses/LGPL-2.1'.
