Since we now reject unknown spec-versions in the solver, these test-cases
were broken; this replaces the 2 occurences by `cabal-version: 2.0` instead.