Lintian Fixes - ppx-derivers

Building the package failed after changes were made to it.

Ready changes

Merge these changes:

git pull https://janitor.debian.net/git/ppx-derivers lintian-fixes/main

Summary

Diff

Unable to retrieve diff; error 500

Run locally

Try this locally (using the lintian-brush package):

debcheckout ppx-derivers
cd ppx-derivers
lintian-brush

More details

Full run details

Historical runs