Codebase list coq / 413f314
Use secure URI in Homepage field. Changes-By: lintian-brush Fixes: lintian: homepage-field-uses-insecure-uri See-also: https://lintian.debian.org/tags/homepage-field-uses-insecure-uri.html Debian Janitor 2 years ago
2 changed file(s) with 2 addition(s) and 1 deletion(s). Raw diff Collapse all Expand all
77 * Trim trailing whitespace.
88 * debian/copyright: use spaces rather than tabs to start continuation lines.
99 * Drop unnecessary dependency on build-essential.
10 * Use secure URI in Homepage field.
1011
1112 -- Julien Puydt <jpuydt@debian.org> Tue, 02 Nov 2021 20:47:56 +0100
1213
2323 tex-common
2424 Build-Conflicts: libcoq-ocaml
2525 Rules-Requires-Root: no
26 Homepage: http://coq.inria.fr/
26 Homepage: https://coq.inria.fr/
2727 Vcs-Browser: https://salsa.debian.org/ocaml-team/coq
2828 Vcs-Git: https://salsa.debian.org/ocaml-team/coq.git
2929