Cabal-3.0.0.0: tests/ParserTests/errors/MiniAgda.errors

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