Remove unnecessary constraints

Janitorrequested to merge
janitor-team/proposed/menhir: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/07/c2940f4585ab6e6dd9abefbcc5060f5d9be181.debug
-rw-r--r--  root/root   /usr/lib/debug/.build-id/2e/134639b1227277aee6ea2b906f3b66460bf087.debug
-rw-r--r--  root/root   /usr/lib/debug/.build-id/f0/a7dfd7f01e4e915c9aa4c6ca51800f07dde4bc.debug

Files in first set of .debs but not in second

-rw-r--r--  root/root   /usr/lib/debug/.build-id/89/d9a3c467ae905a9184da9dc72d27a6e46b0170.debug
-rw-r--r--  root/root   /usr/lib/debug/.build-id/b2/98b3f04c4623d01b1052fe677a0c08c07a48dd.debug
-rw-r--r--  root/root   /usr/lib/debug/.build-id/e6/b2af7b16a85a380eae4fed3fbf124c2ef127c4.debug

No differences were encountered between the control files of package **libmenhir-ocaml-dev**

Control files of package libmenhir-ocaml-dev-dbgsym: lines which differ (wdiff format)

  • Build-Ids: 89d9a3c467ae905a9184da9dc72d27a6e46b0170 b298b3f04c4623d01b1052fe677a0c08c07a48dd 07c2940f4585ab6e6dd9abefbcc5060f5d9be181 2e134639b1227277aee6ea2b906f3b66460bf087

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

  • Depends: libc6 (>= 2.33) 2.35)

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

  • Build-Ids: e6b2af7b16a85a380eae4fed3fbf124c2ef127c4 f0a7dfd7f01e4e915c9aa4c6ca51800f07dde4bc

Control files of package menhir-doc: lines which differ (wdiff format)

  • Breaks: menhir (<< 20170712-1)
  • Replaces: menhir (<< 20170712-1)

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/menhir/f5b75dc0-596b-4b7f-b5bb-258280929ba9.

Edited by Janitor

Merge request reports