Codebase list coq / 0611d5f
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
+1
-0
debian/changelog less more
11
22 * debian/copyright: use spaces rather than tabs to start continuation lines.
33 * Drop unnecessary dependency on build-essential.
4 * Use secure URI in Homepage field.
45
56 -- Debian Janitor <janitor@jelmer.uk> Mon, 15 Nov 2021 06:50:52 -0000
67
+1
-1
debian/control less more
2727 tex-common
2828 Build-Conflicts: libcoq-ocaml
2929 Rules-Requires-Root: no
30 Homepage: http://coq.inria.fr/
30 Homepage: https://coq.inria.fr/
3131 Vcs-Browser: https://salsa.debian.org/ocaml-team/coq
3232 Vcs-Git: https://salsa.debian.org/ocaml-team/coq.git
3333