Codebase list coq / eb62b4b
Drop unnecessary dependency on build-essential. Changes-By: lintian-brush Fixes: lintian: build-depends-on-build-essential See-also: https://lintian.debian.org/tags/build-depends-on-build-essential.html Debian Janitor 2 years ago
2 changed file(s) with 2 addition(s) and 1 deletion(s). Raw diff Collapse all Expand all
66 [ Debian Janitor ]
77 * Trim trailing whitespace.
88 * debian/copyright: use spaces rather than tabs to start continuation lines.
9 * Drop unnecessary dependency on build-essential.
910
1011 -- Julien Puydt <jpuydt@debian.org> Tue, 02 Nov 2021 20:47:56 +0100
1112
66 Ralf Treinen <treinen@debian.org>,
77 Stéphane Glondu <glondu@debian.org>
88 Standards-Version: 4.5.0
9 Build-Depends:
9 Build-Depends:
1010 debhelper-compat (= 13),
1111 dh-exec,
1212 dh-ocaml (>= 0.9.5~),