Lintian Fixes - haskell-smtlib

No unpublished successful runs for haskell-smtlib.

Historical runs