Lintian Fixes - haskell-copilot-theorem

Ready changes

Summary

Failed fixers:

See the worker log for details.

Diff

diff --git a/p/haskell-copilot-theorem/debian/changelog b/p/haskell-copilot-theorem/debian/changelog
index d97cc84e1a..fc595516c0 100644
--- a/p/haskell-copilot-theorem/debian/changelog
+++ b/p/haskell-copilot-theorem/debian/changelog
@@ -1,3 +1,10 @@
+haskell-copilot-theorem (3.13-2) UNRELEASED; urgency=medium
+
+  * Update watch file format version to 4.
+  * Update standards version to 4.6.2, no changes needed.
+
+ -- Debian Janitor <janitor@jelmer.uk>  Tue, 04 Apr 2023 09:27:46 -0000
+
 haskell-copilot-theorem (3.13-1) unstable; urgency=medium
 
   * New upstream release
diff --git a/p/haskell-copilot-theorem/debian/control b/p/haskell-copilot-theorem/debian/control
index f68fbfa328..d04ba08934 100644
--- a/p/haskell-copilot-theorem/debian/control
+++ b/p/haskell-copilot-theorem/debian/control
@@ -52,7 +52,7 @@ Build-Depends-Indep: ghc-doc,
  libghc-random-doc,
  libghc-what4-doc,
  libghc-xml-doc,
-Standards-Version: 4.6.1
+Standards-Version: 4.6.2
 Homepage: https://copilot-language.github.io
 Vcs-Browser: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-copilot-theorem
 Vcs-Git: https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-copilot-theorem]
diff --git a/p/haskell-copilot-theorem/debian/watch b/p/haskell-copilot-theorem/debian/watch
index 37518b4bc6..c0c1574746 100644
--- a/p/haskell-copilot-theorem/debian/watch
+++ b/p/haskell-copilot-theorem/debian/watch
@@ -1,2 +1,2 @@
-version=3
+version=4
 https://hackage.haskell.org/package/copilot-theorem/distro-monitor .*-([0-9\.]+)\.(?:zip|tgz|tbz|txz|(?:tar\.(?:gz|bz2|xz)))

Debdiff

File lists identical (after any substitutions)

No differences were encountered between the control files of package libghc-copilot-theorem-dev

Control files of package libghc-copilot-theorem-doc: lines which differ (wdiff format)

  • Recommends: ghc-doc, libghc-copilot-core-doc, libghc-copilot-theorem-dev, libghc-data-default-doc, libghc-parameterized-utils-doc, libjs-mathjax

No differences were encountered between the control files of package libghc-copilot-theorem-prof

Run locally

More details

Full run details