hackport-0.8.0.0: cabal/Cabal-tests/tests/ParserTests/errors/MiniAgda.errors

VERSION: Just (mkVersion [1,22])
MiniAgda.cabal:2:27: 
unexpected Version digit with leading zero