Commit 0aa8bf5fa686b473db4ba088c32754222fbfc48f - agda

Set upstream metadata fields: Archive, Bug-Database, Bug-Submit, Repository, 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 Fixes: lintian: upstream-metadata-missing-repository See-also: https://lintian.debian.org/tags/upstream-metadata-missing-repository.html Jenkins 2 years ago

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

-0

p/agda/debian/changelog less more

3	3	* Drop unnecessary dependency on build-essential.
4	4	* Update watch file format version to 4.
5	5	* Update renamed lintian tag names in lintian overrides.
	6	* Set upstream metadata fields: Archive, Bug-Database, Bug-Submit, Repository,
	7	Repository-Browse.
6	8
7	9	-- Debian Janitor <janitor@jelmer.uk> Thu, 04 Nov 2021 23:35:44 -0000
8	10

-0

p/agda/debian/upstream/metadata less more

	0	---
	1	Archive: Hackage
	2	Bug-Database: https://github.com/agda/agda/issues
	3	Bug-Submit: https://github.com/agda/agda/issues/new
	4	Repository: https://github.com/agda/agda.git
	5	Repository-Browse: https://github.com/agda/agda