Codebase list coq / 629de9a
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
2 changed file(s) with 2 addition(s) and 1 deletion(s). Raw diff Collapse all Expand all
00 coq (8.12.0-4) UNRELEASED; urgency=medium
11
22 * Trim trailing whitespace.
3 * debian/copyright: use spaces rather than tabs to start continuation lines.
34
45 -- Debian Janitor <janitor@jelmer.uk> Tue, 20 Jul 2021 12:41:15 -0000
56
6161
6262 Files: ide/protocol/xml_parser.ml
6363 Copyright: 2003 Nicolas Cannasse <ncannasse@motion-twin.com>
64 2003 Jacques Garrigue
64 2003 Jacques Garrigue
6565 License: LGPL-2.1+
6666
6767 Files: plugins/micromega/sos.ml plugins/micromega/sos_lib.ml