scala version for scoverage must be the same...
scala version for scoverage must be the same...

... otherwise we get these strange `java.lang.NoSuchMethodError: scala.util.Properties$.coloredOutputEnabled()Z`

campudus/tableaux