Lintian Fixes - alt-ergo

No unpublished successful runs for alt-ergo.

Historical runs