Remove field Priority on binary packages libgmp10, libgmpxx4ldbl that duplicates source
Remove field Priority on binary packages libgmp10, libgmpxx4ldbl that duplicates source. (installable-field-mirrors-source)
This merge proposal was created automatically by the Janitor bot. For more information, including instructions on how to disable these merge proposals, see https://janitor.debian.net/lintian-fixes.
You can follow up to this merge proposal as you normally would.
The bot will automatically update the merge proposal to resolve merge conflicts or close the merge proposal when all changes are applied through other means (e.g. cherry-picks). Updates may take several hours to propagate.
Build and test logs for this branch can be found at https://janitor.debian.net/lintian-fixes/pkg/gmp/5eafb3a0-9d3c-409a-b62f-12afaa704af8.
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/d7/cdccd761c4033d185b3dcd6d306e3cb4c6fe47.debugFiles in first set of .debs but not in second
-rw-r--r-- root/root /usr/lib/debug/.build-id/b5/d6471462f908199d89950266c94dc11f12692b.debugNo differences were encountered between the control files of package **libgmp-dev**
No differences were encountered between the control files of package **libgmp10**
Control files of package libgmp10-dbgsym: lines which differ (wdiff format)
- Build-Ids: b5d6471462f908199d89950266c94dc11f12692b d7cdccd761c4033d185b3dcd6d306e3cb4c6fe47
No differences were encountered between the control files of package **libgmp10-doc**
No differences were encountered between the control files of package **libgmp3-dev**
No differences were encountered between the control files of package **libgmpxx4ldbl**
No differences were encountered between the control files of package **libgmpxx4ldbl-dbgsym**
You can also view the diffoscope diff (unfiltered).