Commit 941893256f2270d917dd8362240756087b1b2df6 - coq

Set upstream metadata fields: Bug-Database, Bug-Submit. Changes-By: lintian-brush Fixes: lintian: upstream-metadata-file-is-missing See-also: https://lintian.debian.org/tags/upstream-metadata-file-is-missing.html Fixes: lintian: upstream-metadata-missing-bug-tracking See-also: https://lintian.debian.org/tags/upstream-metadata-missing-bug-tracking.html Debian Janitor 2 years ago

2 changed file(s) with 4 addition(s) and 0 deletion(s). Raw diff Collapse all Expand all

-0

debian/changelog less more

8	8	* debian/copyright: use spaces rather than tabs to start continuation lines.
9	9	* Drop unnecessary dependency on build-essential.
10	10	* Use secure URI in Homepage field.
	11	* Set upstream metadata fields: Bug-Database, Bug-Submit.
11	12
12	13	-- Julien Puydt <jpuydt@debian.org> Tue, 02 Nov 2021 20:47:56 +0100
13	14

-0

debian/upstream/metadata less more

	0	---
	1	Bug-Database: https://github.com/coq/coq/issues
	2	Bug-Submit: https://github.com/coq/coq/issues/new