Lintian Fixes - agda-stdlib

Some of the dependencies of the source package failed to be satisfied during package build.

Run locally

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

debcheckout agda-stdlib
cd agda-stdlib
lintian-brush

More details

Full run details

Historical runs