debian/copyright: use spaces rather than tabs to start continuation lines.
Changes-By: lintian-brush
Fixes: lintian: tab-in-license-text
See-also: https://lintian.debian.org/tags/tab-in-license-text.html
Debian Janitor
2 years ago
|
0 |
coq (8.14.0+dfsg-5) UNRELEASED; urgency=medium
|
|
1 |
|
|
2 |
* debian/copyright: use spaces rather than tabs to start continuation lines.
|
|
3 |
|
|
4 |
-- Debian Janitor <janitor@jelmer.uk> Mon, 15 Nov 2021 06:50:52 -0000
|
|
5 |
|
| 0 | 6 |
coq (8.14.0+dfsg-4) unstable; urgency=medium
|
| 1 | 7 |
|
| 2 | 8 |
* Strip libraries.
|
| 23 | 23 |
Files: *
|
| 24 | 24 |
Copyright: 1999-2021 The Coq Development Team,
|
| 25 | 25 |
Institut National de Recherche en Informatique et en Automatique (INRIA),
|
| 26 | |
Centre National de la Recherche Scientifique (CNRS),
|
| 27 | |
Microsoft corporation
|
| 28 | |
and contributors
|
|
26 |
Centre National de la Recherche Scientifique (CNRS),
|
|
27 |
Microsoft corporation
|
|
28 |
and contributors
|
| 29 | 29 |
License: LGPL-2.1
|
| 30 | 30 |
|
| 31 | 31 |
Files: clib/diff2.ml*
|
|
| 43 | 43 |
|
| 44 | 44 |
Files: ide/coqide/protocol/xml_parser.ml
|
| 45 | 45 |
Copyright: 2003 Nicolas Cannasse <ncannasse@motion-twin.com>
|
| 46 | |
2003 Jacques Garrigue
|
|
46 |
2003 Jacques Garrigue
|
| 47 | 47 |
License: LGPL-2.1+
|
| 48 | 48 |
|
| 49 | 49 |
Files: ide/coqide/configwin*
|
|
| 62 | 62 |
2004-2009 Samuel Mimram <smimram@debian.org>
|
| 63 | 63 |
2008-2014 Stéphane Glondu <glondu@debian.org>
|
| 64 | 64 |
2018 Benjamin Barenblat <bbaren@debian.org>
|
| 65 | |
2021 Julien Puydt <jpuydt@debian.org>
|
|
65 |
2021 Julien Puydt <jpuydt@debian.org>
|
| 66 | 66 |
License: LGPL-2.1
|
| 67 | 67 |
|
| 68 | 68 |
License: BSD-3-clause
|