Commit 84c9c167d4deecf88dbf0193d8b4cfe998c2c31b - coq

Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse. 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 1 year, 3 months ago

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

-0

debian/changelog less more

4	4	+ debian/libcoq-core-ocaml-dev.lintian-overrides: line 2
5	5	+ debian/libcoq-core-ocaml.lintian-overrides: line 2-4, 6
6	6	* debian/copyright: use spaces rather than tabs to start continuation lines.
	7	* Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse.
7	8
8	9	-- Debian Janitor <janitor@jelmer.uk> Tue, 10 Jan 2023 00:35:28 -0000
9	10

-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
	3	Repository-Browse: https://github.com/coq/coq