koka.cabal: relaxed unnecessarily strong version constraints