Lintian Fixes - agda

No unpublished successful runs for agda.

Historical runs