Scrub Obsolete - agda-stdlib

• QA Page
• Maintainer email: laney@debian.org
• Automatic publish policy: main: push-derived , pristine-tar: push-derived , upstream: push-derived
• Last processed: 2023-11-07T10:14 (took 20m4s)
• Branch URL: https://salsa.debian.org/haskell-team/agda-stdlib.git -b master (taken from version 1.7.3-1)
• Queue position: 106363 (a 46w2d wait)

Schedule a new run

Ready changes

Publish now

Summary

Lintian Result

• agda-stdlib-doc_1.7.1-2~jan+obs1_all.deb
• agda-stdlib_1.7.1-2~jan+obs1.dsc
• agda-stdlib_1.7.1-2~jan+obs1_all.deb
• agda-stdlib_1.7.1-2~jan+obs1_amd64.buildinfo
• agda-stdlib_1.7.1-2~jan+obs1_amd64.changes

Diff

diff --git a/debian/changelog b/debian/changelog
index e970627..11556ef 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,11 @@
+agda-stdlib (1.7.1-2) UNRELEASED; urgency=medium
+
+  * Remove constraints unnecessary since buster (oldstable):
+    + agda-stdlib: Drop conflict with removed package agda-bin (<< 2.5.3) in
+      Breaks.
+
+ -- Debian Janitor <janitor@jelmer.uk>  Wed, 25 Jan 2023 05:48:09 -0000
+
 agda-stdlib (1.7.1-1) unstable; urgency=medium
 
   * New upstream release
diff --git a/debian/control b/debian/control
index ab63fd9..84073c9 100644
--- a/debian/control
+++ b/debian/control
@@ -19,7 +19,6 @@ Architecture: all
 Depends: ${misc:Depends},
          libghc-agda-dev (>= 2.6.2),
          libghc-agda-dev (<< 2.6.3~),
-Breaks: agda-bin (<< 2.5.3)
 Enhances: elpa-agda2-mode
 Description: standard library for Agda
  Agda is a dependently typed functional programming language: It has inductive

Debdiff

File lists identical (after any substitutions)

Control files of package agda-stdlib: lines which differ (wdiff format)

• Breaks: agda-bin (<< 2.5.3)

No differences were encountered between the control files of package agda-stdlib-doc

Run locally

More details

Full run details