Codebase list coq / 40f9679
Update standards version to 4.5.1, no changes needed. Changes-By: lintian-brush Fixes: lintian: out-of-date-standards-version See-also: https://lintian.debian.org/tags/out-of-date-standards-version.html Debian Janitor 2 years ago
2 changed file(s) with 2 addition(s) and 1 deletion(s). Raw diff Collapse all Expand all
33 * debian/copyright: use spaces rather than tabs to start continuation lines.
44 * Use secure URI in Homepage field.
55 * Set upstream metadata fields: Bug-Database, Bug-Submit.
6 * Update standards version to 4.5.1, no changes needed.
67
78 -- Debian Janitor <janitor@jelmer.uk> Thu, 26 Aug 2021 02:40:55 -0000
89
66 Ralf Treinen <treinen@debian.org>,
77 Stéphane Glondu <glondu@debian.org>,
88 Enrico Tassi <gareuselesinge@debian.org>
9 Standards-Version: 4.5.0
9 Standards-Version: 4.5.1
1010 Build-Depends:
1111 debhelper-compat (= 13),
1212 dh-exec,