Lintian Fixes - agda-stdlib
Ready changes
Summary
- Trim trailing whitespace. ( trailing-whitespace )
- Bump debhelper from old 12 to 13. ( package-uses-old-debhelper-compat-version )
- Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse. ( upstream-metadata-file-is-missing , upstream-metadata-missing-bug-tracking )
- Update standards version to 4.6.2, no changes needed. ( out-of-date-standards-version )
- Set upstream metadata fields: Repository. ( upstream-metadata-missing-repository )
Lintian Result
Diff
diff --git a/debian/changelog b/debian/changelog
index e970627..058a48a 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,13 @@
+agda-stdlib (1.7.1-2) UNRELEASED; urgency=medium
+
+ * Trim trailing whitespace.
+ * Bump debhelper from old 12 to 13.
+ * Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse.
+ * Update standards version to 4.6.2, no changes needed.
+ * Set upstream metadata fields: Repository.
+
+ -- Debian Janitor <janitor@jelmer.uk> Tue, 10 Jan 2023 09:43:56 -0000
+
agda-stdlib (1.7.1-1) unstable; urgency=medium
* New upstream release
@@ -131,7 +141,7 @@ agda-stdlib (0.8-1) unstable; urgency=medium
agda-stdlib (0.7-2) unstable; urgency=low
- * Upload to unstable
+ * Upload to unstable
-- Iain Lane <laney@debian.org> Mon, 27 May 2013 19:29:25 +0100
@@ -147,7 +157,7 @@ agda-stdlib (0.7-1) experimental; urgency=low
agda-stdlib (0.6-2) unstable; urgency=low
- * Relax agda dependency a bit to allow for minor releases
+ * Relax agda dependency a bit to allow for minor releases
* Add the Debian Haskell Group as uploaders, by Iains suggestion
-- Joachim Breitner <nomeata@debian.org> Wed, 14 Mar 2012 10:30:26 +0100
@@ -214,7 +224,7 @@ agda-stdlib (0.3-2) unstable; urgency=low
typecheck the same file, README.agda, to generate the documentation
anyway so this has no negative effect.
* debian/rules, debian/watcher.sh: Add a ticker to the build to avoid
- timeouts on some slow architectures.
+ timeouts on some slow architectures.
-- Marco Túlio Gontijo e Silva <marcot@debian.org> Sat, 27 Feb 2010 09:05:52 -0300
diff --git a/debian/control b/debian/control
index ab63fd9..1335dcd 100644
--- a/debian/control
+++ b/debian/control
@@ -3,13 +3,13 @@ Priority: optional
Section: libs
Maintainer: Iain Lane <laney@debian.org>
Uploaders: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
-Build-Depends: debhelper-compat (= 12),
+Build-Depends: debhelper-compat (= 13),
agda-bin (>= 2.6.2),
agda-bin (<< 2.6.3~),
libghc-agda-dev (>= 2.6.2),
libghc-agda-dev (<< 2.6.3~),
libghc-filemanip-dev
-Standards-Version: 4.6.1
+Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/haskell-team/agda-stdlib
Vcs-Git: https://salsa.debian.org/haskell-team/agda-stdlib.git
Homepage: https://wiki.portal.chalmers.se/agda/
diff --git a/debian/upstream/metadata b/debian/upstream/metadata
new file mode 100644
index 0000000..3f81a04
--- /dev/null
+++ b/debian/upstream/metadata
@@ -0,0 +1,5 @@
+---
+Bug-Database: https://github.com/agda/agda-stdlib/issues
+Bug-Submit: https://github.com/agda/agda-stdlib/issues/new
+Repository: https://github.com/agda/agda-stdlib.git
+Repository-Browse: https://github.com/agda/agda-stdlib
Debdiff
File lists identical (after any substitutions)
No differences were encountered between the control files of package agda-stdlib
No differences were encountered between the control files of package agda-stdlib-doc