Codebase list agda / 48e37ab
Update renamed lintian tag names in lintian overrides. Changes-By: lintian-brush Fixes: lintian: renamed-tag See-also: https://lintian.debian.org/tags/renamed-tag.html Jenkins 2 years ago
2 changed file(s) with 2 addition(s) and 1 deletion(s). Raw diff Collapse all Expand all
+1
-1
p/agda/debian/agda-bin.lintian-overrides less more
0 binary-or-shlib-defines-rpath
0 custom-library-search-path
+1
-0
p/agda/debian/changelog less more
22 * Trim trailing whitespace.
33 * Drop unnecessary dependency on build-essential.
44 * Update watch file format version to 4.
5 * Update renamed lintian tag names in lintian overrides.
56
67 -- Debian Janitor <janitor@jelmer.uk> Sat, 20 Nov 2021 05:28:41 -0000
78