Commit 3157dbc2-262c-45e4-83ca-a62d23f55419/main - 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

2	2	* debian/copyright: use spaces rather than tabs to start continuation lines.
3	3	* Drop unnecessary dependency on build-essential.
4	4	* Use secure URI in Homepage field.
	5	* Set upstream metadata fields: Bug-Database, Bug-Submit.
5	6
6	7	-- Debian Janitor <janitor@jelmer.uk> Sat, 13 Nov 2021 11:50:37 -0000
7	8

-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