scalacheck 1.12.0
sbt 0.13.7