4c76385b1a9cb7cd619739776b940d98c4aadc6d ?scalacheck.jar