Codebase list coq / e7236048-92ea-4cdf-8ac0-eb3875e0aff8/main
Update standards version to 4.6.0, 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
99 * Drop unnecessary dependency on build-essential.
1010 * Use secure URI in Homepage field.
1111 * Set upstream metadata fields: Bug-Database, Bug-Submit.
12 * Update standards version to 4.6.0, no changes needed.
1213
1314 -- Julien Puydt <jpuydt@debian.org> Tue, 02 Nov 2021 20:47:56 +0100
1415
55 Benjamin Barenblat <bbaren@debian.org>,
66 Ralf Treinen <treinen@debian.org>,
77 Stéphane Glondu <glondu@debian.org>
8 Standards-Version: 4.5.0
8 Standards-Version: 4.6.0
99 Build-Depends:
1010 debhelper-compat (= 13),
1111 dh-exec,