Skip to content

Remove unnecessary constraints

Janitor requested to merge janitor-team/proposed/prooftree:scrub-obsolete into master

Remove unnecessary constraints.

Debdiff

These changes affect the binary packages:

[The following lists of changes regard files as different if they have different names, permissions or owners.]

Files in second set of .debs but not in first

-rw-r--r--  root/root   /usr/lib/debug/.build-id/d4/153ac2c1fbbfe470ba58e2739be69c4bd495f7.debug

Files in first set of .debs but not in second

-rw-r--r--  root/root   /usr/lib/debug/.build-id/57/17229d849468d7a66089f8931e6e68fc1bee60.debug

Control files of package prooftree: lines which differ (wdiff format)

  • Depends: proofgeneral (>= 4.3~pre130510), coq (>= 8.4), coq, libc6 (>= 2.35), libgdk-pixbuf-2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgtk2.0-0 (>= 2.24.0), libpango-1.0-0 (>= 1.22.0)

Control files of package prooftree-dbgsym: lines which differ (wdiff format)

  • Build-Ids: 5717229d849468d7a66089f8931e6e68fc1bee60 d4153ac2c1fbbfe470ba58e2739be69c4bd495f7

You can also view the diffoscope diff (unfiltered).

This merge proposal was created by the Janitor bot, and it will automatically rebase or close this proposal as appropriate when the target branch changes. Any comments you leave here will be read by the Janitor's maintainers.

Build and test logs for this branch can be found at https://janitor.debian.net/scrub-obsolete/pkg/prooftree/bb4b253f-8b1c-498d-8af1-c814f680b5ea.

Edited by Janitor

Merge request reports